Pages that link to "Lean theorem prover/Applications/Principia Machina"
The following pages link to Lean theorem prover/Applications/Principia Machina:
Displaying 14 items.
- Principia Machina/Lean transition (← links)
- Principia Machina/Terminology (← links)
- Lean theorem prover (← links)
- Lean theorem prover/Explainers/Programs and proofs in one language (← links)
- Lean theorem prover/Explainers/Lean and physics (← links)
- Lean theorem prover/Applications/Physics in Lean (← links)
- Lean theorem prover/Chronology (← links)
- Lean theorem prover/Bibliography (← 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)