Soonad

Soonad

🏢 Organization

2 repositories on SrcLog

View on GitHub
2 Repos
45 Stars
12 Forks
45 Watchers

Repositories (2)

Formality-Core Soonad/Formality-Core JavaScript

Specification of the Formality proof and programming language

35
Formality-Net-Animator Soonad/Formality-Net-Animator JavaScript

Animations for Elementary-Affine-Net interactions

10