Pages that link to "Lean theorem prover/History/Lean 4"
The following pages link to Lean theorem prover/History/Lean 4:
Displaying 6 items.
- Lean theorem prover (← links)
- Lean theorem prover/Explainers/Checking a proof again later (← links)
- Lean theorem prover/History/Lean 1 to Lean 3 (← links)
- Lean theorem prover/History/Mathlib and its community (← links)
- Lean theorem prover/Chronology (← links)
- Lean theorem prover/Bibliography (← links)