lean4 topic
List
lean4 repositories
Socket.lean
25
Stars
9
Forks
Watchers
A toy implementation of socket programming for Lean 4.
lean4-cli
56
Stars
9
Forks
Watchers
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Saturn
50
Stars
1
Forks
Watchers
Experiments with SAT solvers with proofs in Lean 4
LeanInk
56
Stars
15
Forks
Watchers
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
batteries
208
Stars
84
Forks
Watchers
The "batteries included" extended library for the Lean programming language and theorem prover