https://github.com/jonaprieto/agda-metis

Metis Prover Reasoning for Propositional Logic in Agda
https://github.com/jonaprieto/agda-metis

agda agda-library agda-metis metis-atp theorem-proving type-theory

Last synced: about 2 months ago
JSON representation

Metis Prover Reasoning for Propositional Logic in Agda

• Host: GitHub
• URL: https://github.com/jonaprieto/agda-metis
• Owner: jonaprieto
• License: mit
• Created: 2017-03-14T16:45:50.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2018-10-03T09:36:49.000Z (over 6 years ago)
• Last Synced: 2025-02-10T15:50:40.510Z (4 months ago)
• Topics: agda, agda-library, agda-metis, metis-atp, theorem-proving, type-theory
• Language: Agda
• Homepage: https://jonaprieto.github.io/agda-metis/ATP.Metis.Rules.html
• Size: 765 KB
• Stars: 2
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.agda
  • License: LICENSE

Awesome Lists containing this project

README

        
open import Data.Nat using ( ℕ )

module README ( n : ℕ ) where

------------------------------------------------------------------------------

-- Agda-Metis Library.

-- Metis Prover Reasoning for Propositional Logic.

------------------------------------------------------------------------------

open import ATP n public