Lobsters
- Formalize all the things (in Agda) https://jesper.sikanda.be/posts/formalize-all-the-things.html 3 comments plt , programming
Linked pages
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:jesper.sikanda.be
Search title: Jesper Cockx - Formalize all the things (in Agda)
See how to search.