p

puli

A library for manipulating with proofs based on inference rules.
https://github.com/liveontologies/${project.artifactId}
The Apache Software License, Version 2.0
Live Ontologies Project
Yevgeny Kazakov Pavel Klinov Peter Skocovsky
proofs with inference library manipulating based rules
Aggregated version Version Update time
0.1 0.1.0 Oct 12, 2017
1 Records