Pollack-inconsistency
From MaRDI portal
Publication:5170237
Recommendations
Cites work
- scientific article; zbMATH DE number 1302064 (Why is no real title available?)
- scientific article; zbMATH DE number 639701 (Why is no real title available?)
- Formal certification of a compiler back-end or: programming a compiler with a proof assistant
- Formalizing an analytic proof of the prime number theorem
- Isabelle/HOL. A proof assistant for higher-order logic
- Mathematical Knowledge Management
- Mathematical knowledge management in MIZAR
- MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics
- Spurious disambiguation errors and how to get rid of them
- TRX: a formally verified parser interpreter
- The Four Colour Theorem: Engineering of a Formal Proof
- The HOL Light theory of Euclidean space
- Towards Self-verification of HOL Light
Cited in
(4)
This page was built for publication: Pollack-inconsistency
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5170237)