The following pages link to FoCaLiZe (Q24313):
Displaying 7 items.
- Tactics and certificates in Meta Dedukti (Q1791152) (← links)
- Theories as types (Q1799118) (← links)
- Modular verification of programs with effects and effects handlers (Q1996433) (← links)
- Modelling algebraic structures and morphisms in ACL2 (Q2349534) (← links)
- Termination Proofs for Recursive Functions in FoCaLiZe (Q2814388) (← links)
- ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti (Q3179416) (← links)
- (Q5219928) (← links)