The following pages link to (Q3024890):
Displaying 6 items.
- Abstract proof checking: An example motivated by an incompleteness theorem (Q1373302) (← links)
- Mechanized result verification: An industrial application (Q1856154) (← links)
- A verified proof checker for higher-order logic (Q1987736) (← links)
- TacticToe: learning to prove with tactics (Q2031416) (← links)
- Proof generation in the Touchstone theorem prover (Q2723407) (← links)
- Pollack-inconsistency (Q5170237) (← links)