Lobsters
- Programs and Proofs: Mechanizing Mathematics with Dependent Types http://ilyasergey.net/pnp/ 2 comments formalmethods
Linking pages
- GitHub - steshaw/plt: Programming Language Theory λΠ https://github.com/steshaw/plt 35 comments
- GitHub - coq-community/awesome-coq: A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog] https://github.com/coq-community/awesome-coq 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:ilyasergey.net
Search title: Programs and Proofs
See how to search.