Collection of proofs in Coq

big-list, github, coq-language, formal-verification

affine March 23, 2024, 10:10am 1

GitHub

GitHub - stepchowfun/proofs: My personal repository of formally verified...

My personal repository of formally verified mathematics. - stepchowfun/proofs

Home
Categories
Guidelines

Powered by Discourse, best viewed with JavaScript enabled