Pages that link to "Item:Q5326348"
From MaRDI portal
The following pages link to Encoding Monomorphic and Polymorphic Types (Q5326348):
Displaying 15 items.
- The higher-order prover \textsc{Leo}-II (Q287283) (← links)
- Semi-intelligible Isar proofs from machine-generated proofs (Q287340) (← links)
- A learning-based fact selector for Isabelle/HOL (Q331617) (← links)
- A formalized general theory of syntax with bindings (Q1687739) (← links)
- Encoding types in ML-like languages (Q1826630) (← links)
- A formalized general theory of syntax with bindings: extended version (Q1984791) (← links)
- HOL(y)Hammer: online ATP service for HOL Light (Q2018657) (← links)
- GRUNGE: a grand unified ATP challenge (Q2305410) (← links)
- Extending Sledgehammer with SMT solvers (Q2351158) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- Soundness and completeness proofs by coinductive methods (Q2362498) (← links)
- Finding Finite Models in Multi-sorted First-Order Logic (Q2818025) (← links)
- Encoding Monomorphic and Polymorphic Types (Q2974796) (← links)
- Soundly Proving B Method Formulæ Using Typed Sequent Calculus (Q3179401) (← links)
- A Polymorphic Vampire (Q5049013) (← links)