TLA + Proofs.

Denis Cousineau Damien Doligez Leslie Lamport Stephan Merz Daniel Ricketts Hernán Vanzetto

Published in: FM (2012)

Keyphrases

temporal logic
theorem prover
theorem proving
formal proof
mathematical proofs
decision procedures
objective function
formal proofs
machine learning
search engine
high level
relational databases
natural deduction
equational theories