Gitstar Ranking

standardgalactic / LSTS

A proof assistant that is also a programming language. - View it on GitHub
https://andrew-johnson-4.github.io/lsts-tutorial/
Star
0
Rank
14124007