Reservoir

No results found

tactic-programming-beginner-guidev0.1.0

Beginner's guide to Tactic Programming in Lean

Readme
Versions (1)
Dependencies (2)

Displaying 1-1 of 1 versions of tactic-programming-beginner-guide

Sort by

Date

0.1Version track: 0.1
0.1.0
2 days ago
Released on June 25, 2025 at 11:30:56AM
v4.21.0-rc3

20

About

lean-lang.org
The Lean FRO
Terms of Use
Privacy Policy

Explore

Games
Playground
Community
Moogle
Loogle

Learn

The Lean Manual
Theorem Proving in Lean
Functional Programming in Lean
Mathematics in Lean
The Mechanics of Proof
How To Prove It With Lean

Social

leanprover
@leanprover
Lean FRO
leanprover