Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

aossie
Skeptik

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

Copy SSH clone URLgit@gitlab.com:aossie/Skeptik.git
Copy HTTPS clone URLhttps://gitlab.com/aossie/Skeptik.git