The following pages link to Type Inference for ZFH (Q3453108):
Displaying 4 items.
- Enumerated types and type extensions for MiniZinc (Q2170216) (← links)
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- Presentation and manipulation of Mizar properties in an Isabelle object logic (Q2364678) (← links)
- ProofScript: Proof Scripting for the Masses (Q3179409) (← links)