Live Verification in an Interactive Proof Assistant.

Samuel Gruetter Viktor Fukala Adam Chlipala

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

user friendly
test bed
formal proof
virtual reality
interactive video
artificial intelligence
multi agent
search algorithm
model checking
graphical interface
real world
case study
data analysis
theorem prover
face verification
highly interactive