GitHub - clarus/falso: A proof of false in Coq. - discu.eu

Hacker News

Proving false in Coq using an implementation bug https://github.com/clarus/falso 61 comments 24/3/2015

Lobsters

Falso : A proof of false in Coq https://github.com/clarus/falso 5 comments 25/3/2015 compsci , math , satire

Linking pages

GitHub - uhub/awesome-coq: A curated list of awesome Coq frameworks, libraries and software. https://github.com/uhub/awesome-coq 5 comments
A walk through a proof in F* that 733929337 is the largest truncatable palindromic prime. · GitHub https://gist.github.com/s-zanella/97ee3dfbead56e8ce3b2316ff0bfb636 0 comments

Linked pages

Would you like to stay up to date with Computer science? Checkout Computer science Weekly.

Related searches:

Search whole site: site:github.com

Search title: GitHub - clarus/falso: A proof of false in Coq.

See how to search.

Submit link to: