https://github.com/lean-forward/mathlib-classes
Tip revision: d2271c7cb5f11083cf221e200c2a9eb74c683eaa authored by Vierkantor on 27 April 2022, 10:39:45 UTC
Update to camera-ready version
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 |