Star AlbumentationsX on GitHub — it powers this leaderboard
Star on GitHub
← Back to leaderboard
some-proofs
soimort
/some-proofs
2
stars
View on GitHub
Forks
0
Open issues
0
Watchers
2
Size
0.0 MB
Coq
algebraic-logic
order-theory
Created: Oct 31, 2017
Updated: Nov 26, 2022
Last push: Nov 2, 2017
