Name		Name	Last commit message	Last commit date
bin		bin
src		src
.appveyor.yml		.appveyor.yml
.gitignore		.gitignore
.travis-settings.xml		.travis-settings.xml
.travis.yml		.travis.yml
LICENSE.txt		LICENSE.txt
README.md		README.md
pom.xml		pom.xml

Repository files navigation

pinpointing-experiments

Experiments for extracting justifications from proofs.

See wiki for more info.

About

Experiments for extracting justifications from proofs.

description-logics experiments justifications pinpointing proofs

Apache-2.0 license

Custom properties

0 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages