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

A Library for Classical Propositional Logic in Agda
https://github.com/jonaprieto/agda-prop

agda agda-library natural-deduction propositional-logic theorem-proving

Last synced: about 2 months ago
JSON representation

A Library for Classical Propositional Logic in Agda

• Host: GitHub
• URL: https://github.com/jonaprieto/agda-prop
• Owner: jonaprieto
• License: mit
• Created: 2017-03-08T04:22:58.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2019-11-19T08:39:23.000Z (over 5 years ago)
• Last Synced: 2025-02-10T15:50:40.734Z (4 months ago)
• Topics: agda, agda-library, natural-deduction, propositional-logic, theorem-proving
• Language: Agda
• Homepage: https://jonaprieto.github.io/agda-prop/Data.PropFormula.html
• Size: 442 KB
• Stars: 16
• Watchers: 3
• Forks: 1
• Open Issues: 3
• Metadata Files:
  • Readme: README.agda
  • License: LICENSE

Awesome Lists containing this project

README

        
open import Data.Nat using ( ℕ )

module README ( n : ℕ ) where

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

-- Agda-Prop Library.

-- Deep Embedding for Propositional Logic.

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

open import Data.PropFormula n public