☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (9)
verbose
Natural language tactics to teach mathematics using Lean 4
Displaying
1-1
of
1
versions of
verbose
Sort by
Date
Not a part of any version track.
bd3b236
21 days ago
Released on July 27, 2025 at 4:09:03PM
Commit bd3b236 builds on its old leanprover/lean4:v4.17.0
v4.17.0
14.8 MB
Build archive size: 14762274 bytes.
1
20