proofs

My personal repository of formally verified mathematics.

290 stars

11 watching

12 forks

Language: Coq

last commit: 12 days ago

coqformal-verificationinteractive-theorem-provingproof-assistanttype-theory