Login / Signup
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