Give AlbumentationsX a star on GitHub — it powers this leaderboard
Star on GitHub
Leaderboard
/
mcmtroffaes
/
agda-proofs
mcmtroffaes/agda-proofs
Stars:
4
Language:
Agda
View on GitHub
Owner: mcmtroffaes
mcmtroffaes/agda-proofs - GitHub Repository | PyPI Leaderboard