The following pages link to (Q4413895):
Displayed 12 items.
- MizAR 40 for Mizar 40 (Q286800) (← links)
- MPTP-motivation, implementation, first experiments (Q556682) (← links)
- MPTP 0.2: Design, implementation, and initial experiments (Q877826) (← links)
- Experiences from exporting major proof assistant libraries (Q2069875) (← links)
- A new export of the Mizar mathematical library (Q2128826) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- Extracting Higher-Order Goals from the Mizar Mathematical Library (Q2817297) (← links)
- Translating a Dependently-Typed Logic to First-Order Logic (Q3184740) (← links)
- Theorem Proving in Large Formal Mathematics as an Emerging AI Field (Q4913871) (← links)
- MPTP 0.1 - System Description (Q4916228) (← links)
- On the Structure of Mizar Types (Q4924547) (← links)
- Licensing the Mizar Mathematical Library (Q5200114) (← links)