Giters

andykitchen / linear-logic

Linear logic theorem prover and proof explorer

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Linear logic theorem prover and proof explorer

License:GNU General Public License v3.0

Languages

Language:TeX 54.1%Language:Haskell 45.9%