The following pages link to Cezary Kaliszyk (Q286799):
Displaying 8 items.
- Declarative Proof Translation (Short Paper) (Q5875449) (← links)
- General Bindings and Alpha-Equivalence in Nominal Isabelle (Q5891628) (← links)
- General Bindings and Alpha-Equivalence in Nominal Isabelle (Q5892493) (← links)
- Combining higher-order logic with set theory formalizations (Q6161232) (← links)
- The Isabelle ENIGMA (Q6572551) (← links)
- Formalizing a Diophantine representation of the set of prime numbers (Q6572564) (← links)
- Initial experiments with TPTP-style automated theorem provers on ACL2 problems (Q6589549) (← links)
- Mizar 60 for Mizar 50 (Q6643000) (← links)
