The following pages link to (Q4413887):
Displayed 8 items.
- MML (Q19033) (← links)
- MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics (Q865631) (← links)
- MPTP 0.2: Design, implementation, and initial experiments (Q877826) (← links)
- User interaction with the Matita proof assistant (Q2462635) (← links)
- Integrating searching and authoring in Mizar (Q2462640) (← links)
- Crystal: Integrating structured queries into a tactic language (Q2655333) (← links)
- A Query Language for Formal Mathematical Libraries (Q2907320) (← links)
- A Brief Overview of Mizar (Q3183518) (← links)