Pages that link to "Proof assistant"
Jump to navigation
Jump to search
The following pages link to Proof assistant:
Displaying 38 items.
- Classification of finite simple groups (← links)
- Four color theorem (← links)
- First-order logic (← links)
- Gödel's ontological proof (← links)
- Integer (← links)
- Mathematics (← links)
- Type theory (← links)
- Philosophy of mathematics (← links)
- Gödel's incompleteness theorems (← links)
- Mathematical proof (← links)
- Standard ML (← links)
- Division by zero (← links)
- Euclid's Elements (← links)
- Pick's theorem (← links)
- Intuitionistic type theory (← links)
- Calculus of constructions (← links)
- Disjoint-set data structure (← links)
- Feit–Thompson theorem (← links)
- Dependent type (← links)
- Heyting arithmetic (← links)
- Computer-assisted proof (← links)
- Agda (programming language) (← links)
- HOL Light (← links)
- Metamath (← links)
- Mutilated chessboard problem (← links)
- De Bruijn index (← links)
- Mathematical markup language (← links)
- Realizability (← links)
- Normalisation by evaluation (← links)
- Blakers–Massey theorem (← links)
- Homotopy type theory (← links)
- Proof compression (← links)
- Quotient type (← links)
- Euclid–Euler theorem (← links)
- Lean (proof assistant) (← links)
- Condensed mathematics (← links)
- Testwiki:Reference desk/Archives/Mathematics/2017 April 10 (← links)
- Testwiki:Reference desk/Archives/Mathematics/2022 August 14 (← links)