Skeptik

Project information

A library for Proof Theory (especially Proof Compression) in Scala.

1,861 Commits
8 Branches
1 Tag

README

Created on

January 15, 2017

Loading