C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Towards an Automatic Proof of Lamport's Paxos.
Aman Goel
Karem A. Sakallah
Published in:
CoRR (2021)
Keyphrases
</>
fully automatic
theorem prover
neural network
website
database systems
distributed systems
fine grained
semi automatic
range queries
theorem proving