Download nd-thing JAR file with all dependencies
nd-thing from group io.github.pirocks (version 0.0.7)
A simple library for working with first order logic and natural deduction proofs
Artifact nd-thing
Group io.github.pirocks
Version 0.0.7
Last update 07. 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 07. 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!
Page 1 from 1 (items total 1)