Skeptik

Skeptik

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

Name Last update
documents Loading commit data...
examples Loading commit data...
experiments Loading commit data...
lib Loading commit data...
project Loading commit data...
res Loading commit data...
src Loading commit data...
vsc Loading commit data...
.gitignore Loading commit data...
.travis.yml Loading commit data...
README.md Loading commit data...
build.sbt Loading commit data...
pom.xml Loading commit data...