Sean Leather
Displaying 1 to 3 of 3 repositories
image
Lean prover built from source, installed along with Emacs and lean-mode
10y
314
1
Displaying 1 to 3 of 3 repositories
Lean prover built from source, installed along with Emacs and lean-mode
10y
314
1