Pages that link to "Principia Machina/Lean transition"
The following pages link to Principia Machina/Lean transition:
Displaying 29 items.
- Lean theorem prover/History/LCF and the tactic idea (← links)
- Lean theorem prover/History/Martin-Löf type theory (← links)
- Lean theorem prover/History/The Calculus of Constructions (← links)
- Lean theorem prover/History/Lean 1 to Lean 3 (← links)
- Lean theorem prover/History/Lean 4 (← links)
- Lean theorem prover/History/Mathlib and its community (← links)
- Lean theorem prover/History/The Liquid Tensor Experiment (← links)
- Lean theorem prover/History/Lean since 2023 (← links)
- Lean theorem prover/Applications/Research mathematics (← links)
- Lean theorem prover/Applications/The polynomial Freiman-Ruzsa conjecture (← links)
- Lean theorem prover/Applications/The Fermat's Last Theorem project (← links)
- Lean theorem prover/Applications/The equational theories project (← links)
- Lean theorem prover/Applications/Software verification (← links)
- Lean theorem prover/Applications/Teaching with Lean (← links)
- Lean theorem prover/Applications/Machine learning and theorem proving (← links)
- Lean theorem prover/Applications/Physics in Lean (← links)
- Lean theorem prover/Applications/Principia Machina (← links)
- Lean theorem prover/Chronology (← links)
- Lean theorem prover/Glossary (← links)
- Lean theorem prover/Notation (← links)
- Lean theorem prover/Sources (← links)
- Lean theorem prover/Bibliography (← links)
- Lean theorem prover/Further reading (← links)
- Principia Machina/Progress/Phase 0 (← links)
- Principia Machina/Progress/Phase 1 (← links)
- Principia Machina/Progress/Phase 2 (← links)
- Principia Machina/Progress/Log (← links)
- Principia Machina/Progress/Status (← links)
- Principia Machina/Progress/Phase 3 (← links)