☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (2)
tactic-programming-beginner-guide
0.2.0
Beginner's guide to Tactic Programming in Lean
#tutorial
Transitive
Include transitive dependencies
Sort by
Require Order
Registry dependency.
Found on Reservoir.
batteries
94520d8
The "batteries included" extended library for the Lean programming language and theorem prover
Registry dependency.
Found on Reservoir.
Qq
v4.22.0-rc2
Intuitive, type-safe expression quotations for Lean 4.
1
20