Metamath

swMATH13309MaRDI QIDQ25224FDOQ25224

Author name not available (Why is that?)

Cited In (22)

• The seventeen provers of the world. Foreword by Dana S. Scott..
• Presentation and manipulation of Mizar properties in an Isabelle object logic
• A formalization of Dedekind domains and class groups of global fields
• Towards a trustworthy semantics-based language framework via proof generation
• Metamath Zero: designing a theorem prover prover
• Computer proofs about finite and regular sets: The unifying concept of subvariance.
• The language of formal mathematics Russell
• A synthesis of the procedural and declarative styles of interactive theorem proving
• Improving stateful premise selection with transformers
• Generating custom set theories with non-set structured objects
• Conversion of HOL Light proofs into Metamath
• Applicable Mathematics in a Minimal Computational Theory of Sets
• Pell's equation
• Semantic representation of general topology in the Wolfram language
• Title not available (Why is that?)
• Formalization of the fundamental group in untyped set theory using auto2
• Proof search algorithm in pure logical framework
• Pollack-inconsistency
• Programming and verifying a declarative first-order prover in Isabelle/HOL
• A PARAMETRIC, RESOURCE-BOUNDED GENERALIZATION OF LÖB’S THEOREM, AND A ROBUST COOPERATION CRITERION FOR OPEN-SOURCE GAME THEORY
• Semantics of Mizar as an Isabelle object logic
• Hammering towards QED

This page was built for software: Metamath