Download JAR files tagged by deduction with all dependencies

deduction-events from group tech.deepdreams (version 0.0.1-RELEASE)

Payroll deduction events project for Spring Boot

Group: tech.deepdreams Artifact: deduction-events
Show documentation Show source

0 downloads

Artifact deduction-events
Group tech.deepdreams
Version 0.0.1-RELEASE
Last update 19. June 2023
Organization not specified
URL Not specified
License Apache License, Version 2.0
Dependencies amount 2
Dependencies jackson-databind, lombok,
There are maybe transitive dependencies!

simple-logic-lib from group io.github.pirocks (version 0.0.7)

A simple library for working with first order logic and natural deduction proofs

Group: io.github.pirocks Artifact: simple-logic-lib
Show documentation Show source

0 downloads

Artifact simple-logic-lib
Group io.github.pirocks
Version 0.0.7
Last update 08. April 2019
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!

nd-thing from group io.github.pirocks (version 0.0.7)

A simple library for working with first order logic and natural deduction proofs

Group: io.github.pirocks Artifact: nd-thing
Show documentation Show source

0 downloads

Artifact nd-thing
Group io.github.pirocks
Version 0.0.7
Last update 07. April 2019
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 3)