Repository navigation
quality: read an axiom list that Lean wrapped over several lines - #564
Closed
deadczarvc wants to merge 12 commits into
Closed
deadczarvc wants to merge 12 commits into
deadczarvc wants to merge 12 commits into
Commits
Commits on Oct 1, 2026
- committed
- committed
- committed
- committed
Commits on Oct 2, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=32){kind=avatar}
