Linking pages
- GitHub - clarus/falso: A proof of false in Coq. https://github.com/clarus/falso 66 comments
- sketches/things-you-should-avoid at master · effectfully-ou/sketches · GitHub https://github.com/effectfully/sketches/tree/master/things-you-should-avoid 7 comments
- liamoc.net - The Trouble with Typing Type as Type http://liamoc.net/posts/2015-09-10-girards-paradox.html 1 comment
Related searches:
Search whole site: site:inutile.club
Search title: Falso, by Estatis Inc.
See how to search.