The following pages link to (Q4413887):
Displayed 12 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)
- A survey on retrieval of mathematical knowledge (Q2364882) (← 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)
- Presenting and Explaining Mizar (Q2867936) (← links)
- A Query Language for Formal Mathematical Libraries (Q2907320) (← links)
- A Brief Overview of Mizar (Q3183518) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library (Q3453131) (← links)