Pages that link to "Lean theorem prover/History/Lean since 2023"
The following pages link to Lean theorem prover/History/Lean since 2023:
Displaying 7 items.
- Lean theorem prover (← links)
- Lean theorem prover/Explainers/What has to be trusted (← links)
- Lean theorem prover/History/Lean 4 (← links)
- Lean theorem prover/History/The Liquid Tensor Experiment (← links)
- Lean theorem prover/Chronology (← links)
- Lean theorem prover/Sources (← links)
- Lean theorem prover/Bibliography (← links)