Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

Skeptik

Analyzed about 13 hours ago

Proof theory and automated deduction framework focused on proof compression techniques and implemented in Scala.

15.2K lines of code

0 current contributors

over 9 years since last commit

1 users on Open Hub

Inactive

I Use This

Licenses: Creative_...