Giters

jonaprieto / agda-prop

A Library for Classical Propositional Logic in Agda

Home Page:https://jonaprieto.github.io/agda-prop/Data.PropFormula.html

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

jonaprieto/agda-prop Stargazers