Download simple-logic-lib JAR 0.0.7 with all dependencies
A simple library for working with first order logic and natural deduction proofs
Files of the artifact simple-logic-lib version 0.0.7 from the group io.github.pirocks.
Artifact simple-logic-lib
Group io.github.pirocks
Version 0.0.7
Last update 08. April 2019
Tags: proofs with order simple library deduction working first natural logic
Organization not specified
URL https://github.com/pirocks/simple-logic-lib
License Apache 2.0
Dependencies amount 3
Dependencies kotlin-stdlib-jdk8, kotlin-test-junit, junit,
There are maybe transitive dependencies!
Group io.github.pirocks
Version 0.0.7
Last update 08. April 2019
Tags: proofs with order simple library deduction working first natural logic
Organization not specified
URL https://github.com/pirocks/simple-logic-lib
License Apache 2.0
Dependencies amount 3
Dependencies kotlin-stdlib-jdk8, kotlin-test-junit, junit,
There are maybe transitive dependencies!
The newest version!
Show all versions of simple-logic-lib Show documentation
Please rate this JAR file. Is it a good library?
0 downloads
Source code of simple-logic-lib version 0.0.7
META-INF
META-INF.maven.io.github.pirocks.simple-logic-lib
io.github.pirocks.equivalences
io.github.pirocks.logic
io.github.pirocks.nd
io.github.pirocks.util
© 2015 - 2024 Weber Informatics LLC | Privacy Policy