An interactive explorer of sessions and tasks for "Agentic Proof Automation: A Case Study". It contains human-agent interactions for mechanizing System Capless. Source Code for Mechanization
Access the explorer at https://apa.univalence.xyz.
-
Start the application
docker compose up --build
-
Open in browser
Visit http://localhost:22025
MIT