Geeks
stepchowfun
/
proofs
My personal repository of formally verified mathematics.
Primary Language
Coq
Other
NOASSERTION
proofs GitHub
Markdown
Readme
2
Issues
286
Stargazers
11
Watchers
Issues
Closed issue
coq 8.19.1 can't find `Coq.Arith.Gt` on Arch
#665 opened
2 months ago
by
sp1ff
1
Closed issue
Monotone can be increasing or *decreasing*
#9 opened
7 years ago
by
innovimax
8