Indexed metadata
Formally verified mathematics
Jeremy Avigad, John Harrison
Source abstract
With the help of computational proof assistants, formal verification could become the new standard for rigor in mathematics.
Evidence graph
No public relationships recorded yet.
Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.