The following pages link to MoMM (Q16825):
Displayed 33 items.
- A learning-based fact selector for Isabelle/HOL (Q331617) (← links)
- Learning-assisted theorem proving with millions of lemmas (Q485842) (← links)
- MPTP-motivation, implementation, first experiments (Q556682) (← links)
- JEFL: joint embedding of formal proof libraries (Q831932) (← 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)
- Aligning concepts across proof assistant libraries (Q1640642) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- The Mizar Mathematical Library in OMDoc: translation and applications (Q1945907) (← links)
- Custom automations in Mizar (Q1945910) (← links)
- HOL(y)Hammer: online ATP service for HOL Light (Q2018657) (← links)
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- Integrating searching and authoring in Mizar (Q2462640) (← links)
- Crystal: Integrating structured queries into a tactic language (Q2655333) (← links)
- Automated Reasoning Service for HOL Light (Q2843009) (← links)
- Presenting and Explaining Mizar (Q2867936) (← links)
- Lemma Mining over HOL Light (Q2870150) (← links)
- Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar (Q2907308) (← links)
- A Query Language for Formal Mathematical Libraries (Q2907320) (← links)
- Lemmatization for Stronger Reasoning in Large Theories (Q2964472) (← links)
- MaLeCoP Machine Learning Connection Prover (Q3010374) (← links)
- (Q3116967) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library (Q3453131) (← links)
- On Duplication in Mathematical Repositories (Q3582716) (← links)
- Hammering towards QED (Q5195271) (← links)
- Mathematical Knowledge Management (Q5313077) (← links)
- Revisions as an Essential Tool to Maintain Mathematical Repositories (Q5428273) (← links)
- Matching Concepts across HOL Libraries (Q5495929) (← links)
- Methods to Access and Retrieve Mathematical Content in ActiveMath (Q5747828) (← links)
- Information Retrieval and Rendering with MML Query (Q5756776) (← links)
- Mathematical Knowledge Management (Q5898530) (← links)