Projects in Awesome Lists tagged with agda-metis
A curated list of projects in awesome lists tagged with agda-metis .
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
