andreasabel / iplLinks

Agda formalization of Intuitionistic Propositional Logic
22Updated this week

Alternatives and similar repositories for ipl

Users that are interested in ipl are comparing it to the libraries listed below

Sorting: