https://github.com/lean-forward/mathlib-classes
History
Tip revision: d2271c7cb5f11083cf221e200c2a9eb74c683eaa authored by Vierkantor on 27 April 2022, 10:39:45 UTC
Update to camera-ready version
Tip revision: d2271c7
File Mode Size
src
README.md -rw-r--r-- 2.3 KB
leanpkg.toml -rw-r--r-- 248 bytes
typeclass-paper.pdf -rw-r--r-- 652.1 KB

README.md

back to top