Scavenger

Scavenger

A theorem prover based on the conflict resolution calculus

Name Last Update
doc Loading commit data...
examples/problems Loading commit data...
experiments/RefactoringOfVariables Loading commit data...
project Loading commit data...
res Loading commit data...
src Loading commit data...
starexec Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
.travis.yml Loading commit data...
CHANGELOG Loading commit data...
CONTRIBUTING.md Loading commit data...
LICENSE Loading commit data...
README.md Loading commit data...
build.sbt Loading commit data...
scalastyle-config.xml Loading commit data...