MoMM
From MaRDI portal
Software:16825
No author found.
Related Items (33)
JEFL: joint embedding of formal proof libraries ⋮ Mizar: State-of-the-art and Beyond ⋮ Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library ⋮ Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar ⋮ A Query Language for Formal Mathematical Libraries ⋮ Aligning concepts across proof assistant libraries ⋮ A learning-based fact selector for Isabelle/HOL ⋮ MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics ⋮ Crystal: Integrating structured queries into a tactic language ⋮ The role of the Mizar mathematical library for interactive proof development in Mizar ⋮ MPTP 0.2: Design, implementation, and initial experiments ⋮ Lemmatization for Stronger Reasoning in Large Theories ⋮ The Mizar Mathematical Library in OMDoc: translation and applications ⋮ Custom automations in Mizar ⋮ Learning-assisted theorem proving with millions of lemmas ⋮ Integrating searching and authoring in Mizar ⋮ MaLeCoP Machine Learning Connection Prover ⋮ Unnamed Item ⋮ On Duplication in Mathematical Repositories ⋮ Revisions as an Essential Tool to Maintain Mathematical Repositories ⋮ MPTP-motivation, implementation, first experiments ⋮ Methods to Access and Retrieve Mathematical Content in ActiveMath ⋮ HOL(y)Hammer: online ATP service for HOL Light ⋮ Information Retrieval and Rendering with MML Query ⋮ Mathematical Knowledge Management ⋮ Semantics of Mizar as an Isabelle object logic ⋮ Matching Concepts across HOL Libraries ⋮ Automated Reasoning Service for HOL Light ⋮ Mathematical Knowledge Management ⋮ Hammering towards QED ⋮ Presenting and Explaining Mizar ⋮ Lemma Mining over HOL Light ⋮ Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
This page was built for software: MoMM
