Giters

DrRuisseau / intuitionistic-logic-forky

Metatheorems about intuitionistic logic, cubically!

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

intuitionistic-logic

Metatheorems about intuitionistic logic, cubically!

About

Metatheorems about intuitionistic logic, cubically!

License:Apache License 2.0

Languages

Language:Agda 100.0%