Geeks
ithinkicancode
/
shapesafe
∀ Linear Algebra ∃ Proof System between Types
Primary Language
Scala
Apache License 2.0
Apache-2.0
shapesafe GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
Watchers
jhcloos