lean-elpi0.3.3
λProlog inside Lean 4: write tactics, commands and proof search as logic programs, share types with Lean both ways, and get kernel-checked proofs.
1-7 of 7 versions of lean-elpi
Sort by
Date
- 0.3
0.3.3v4.35.077.4 MB - 0.3
0.3.3v0.3.3v4.35.0 - 0.3
0.3.2v0.3.2v4.35.0 - 0.3
0.3.1v0.3.1v4.35.0 - 0.3
0.3.0v0.3.0v4.35.0 - 0.2
0.2.0v0.2.0v4.35.0 - 0.1
0.1.0v0.1.0v4.35.0