Giters

dogsleg / lia

Some pretty old experiments in intuitionistic logic using Agda

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

agdaintuitionistic-logiclogic

This repository is not active

About

Some pretty old experiments in intuitionistic logic using Agda

agdaintuitionistic-logiclogic

License:GNU General Public License v3.0

Languages

Language:Agda 100.0%