The following pages link to Cezary Kaliszyk (Q286799):
Displayed 20 items.
- (Q4999300) (← links)
- A study of continuous vector representations for theorem proving (Q5019287) (← links)
- Hammering towards QED (Q5195271) (← links)
- Proof Assistant Decision Procedures for Formalizing Origami (Q5200107) (← links)
- MaSh: Machine Learning for Sledgehammer (Q5327335) (← links)
- Scalable LCF-Style Proof Translation (Q5327336) (← links)
- Communicating Formal Proofs: The Case of Flyspeck (Q5327363) (← links)
- Certified Computer Algebra on Top of an Interactive Theorem Prover (Q5428262) (← links)
- Cooperative Repositories for Formal Proofs (Q5428272) (← links)
- Matching Concepts across HOL Libraries (Q5495929) (← links)
- Towards Knowledge Management for HOL Light (Q5495935) (← links)
- Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description (Q5495943) (← links)
- Automating Side Conditions in Formalized Partial Functions (Q5505512) (← links)
- (Q5875415) (← links)
- (Q5875449) (← links)
- General Bindings and Alpha-Equivalence in Nominal Isabelle (Q5891628) (← links)
- General Bindings and Alpha-Equivalence in Nominal Isabelle (Q5892493) (← links)
- VizAR: visualization of automated reasoning proofs (system description) (Q6118847) (← links)
- Combining higher-order logic with set theory formalizations (Q6161232) (← links)
- Formalizing a Diophantine Representation of the Set of Prime Numbers (Q6397507) (← links)