Towards Proof Repair in Cubical Agda.

Cosmo Viola Max Fan Talia Ringer

Published in: CoRR (2023)

Keyphrases

theorem prover
real time
artificial intelligence
linear logic
theorem proving
digital images
geometry theorem proving
mathematical proofs
proof planning
topology preserving
website
image processing
machine learning
scheduling problem
multi agent systems
failure rate
proof search
information systems
real world