Sign in
A Machine-Checked Proof of Birkhoff's Variety Theorem in Martin-Löf Type Theory.
William J. DeMeo
Jacques Carette
Published in:
TYPES (2021)
Keyphrases
</>
von neumann
interactive theorem proving
wide variety
theoretical framework
wide range
theoretical basis
theorem prover
information theory
theorem proving
real world
machine learning
computational model
evolutionary algorithm
lower bound
decision theory
general theory
database systems
proof theory