Projects in Awesome Lists tagged with metis-atp
A curated list of projects in awesome lists tagged with metis-atp .
https://github.com/jonaprieto/agda-metis
Metis Prover Reasoning for Propositional Logic in Agda
agda agda-library agda-metis metis-atp theorem-proving type-theory
Last synced: 05 Apr 2025
