The following pages link to (Q4520767):
Displayed 9 items.
- Verifying the SET purchase protocols (Q861698) (← links)
- A proof-centric approach to mathematical assistants (Q865648) (← links)
- Lightweight relevance filtering for machine-generated resolution problems (Q1006731) (← links)
- Automation for interactive proof: first prototype (Q2432769) (← links)
- On the mechanization of the proof of Hessenberg's theorem in coherent logic (Q2471743) (← links)
- Proving pointer programs in higher-order logic (Q2486585) (← links)
- A general tableau method for propositional interval temporal logics: theory and implementation (Q2506829) (← links)
- The Isabelle Framework (Q3543647) (← links)
- α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic (Q5504659) (← links)