Soonad

Soonad

🏢 Organization

2 repositories on SrcLog

View on GitHub
2 Repos
53 Stars
13 Forks
16 Watchers

🏆 Show off this rank

Soonad on SrcLog (holo style)

Add it to a GitHub README or profile — the card updates as the ranking changes:

Repositories (2)

Formality-Core Soonad/Formality-Core JavaScript

Specification of the Formality proof and programming language

43
Formality-Net-Animator Soonad/Formality-Net-Animator JavaScript

Animations for Elementary-Affine-Net interactions

10