Metamath
From MaRDI portal
Software:25224
No author found.
Related Items (22)
A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving ⋮ The seventeen provers of the world. Foreword by Dana S. Scott.. ⋮ Semantic representation of general topology in the Wolfram language ⋮ Presentation and manipulation of Mizar properties in an Isabelle object logic ⋮ Improving stateful premise selection with transformers ⋮ Generating custom set theories with non-set structured objects ⋮ Towards a trustworthy semantics-based language framework via proof generation ⋮ Computer proofs about finite and regular sets: The unifying concept of subvariance. ⋮ Metamath Zero: designing a theorem prover prover ⋮ Programming and verifying a declarative first-order prover in Isabelle/HOL ⋮ Applicable Mathematics in a Minimal Computational Theory of Sets ⋮ Pollack-inconsistency ⋮ Formalization of the fundamental group in untyped set theory using auto2 ⋮ Pell's equation ⋮ A PARAMETRIC, RESOURCE-BOUNDED GENERALIZATION OF LÖB’S THEOREM, AND A ROBUST COOPERATION CRITERION FOR OPEN-SOURCE GAME THEORY ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Semantics of Mizar as an Isabelle object logic ⋮ Proof search algorithm in pure logical framework ⋮ Conversion of HOL Light proofs into Metamath ⋮ A formalization of Dedekind domains and class groups of global fields ⋮ Hammering towards QED
This page was built for software: Metamath
