Showing entries 1-10 out of 10.
Automatic and interactive theorem prover
White-box automation for Lean 4
The batteries-included extended library for Lean 4
Command-line argument parser for Lean 4
Tools to analyse and visualise Lean 4 import structures
Lean 4 client for LeanSearch and Moogle proof search
Mathematical library for Lean 4
Property-based testing framework for Lean 4
Interactive UI framework for Lean 4 proof assistants
Lean 4 compile-time quote and antiquote macros for metaprogramming