Download JAR files tagged by provable with all dependencies
keyext.caching from group org.key-project (version 2.12.3)
Caching of provable nodes to make proving with KeY faster.
Artifact keyext.caching
Group org.key-project
Version 2.12.3
Last update 06. November 2024
Organization not specified
URL https://key-project.org/
License GNU General Public License (GPL), Version 2
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group org.key-project
Version 2.12.3
Last update 06. November 2024
Organization not specified
URL https://key-project.org/
License GNU General Public License (GPL), Version 2
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
ledgers from group io.crums (version 0.5.1)
Collection of modules and tools for maintaining tamper proof, evolving, historical private ledgers
and for differentially revealing (reporting) any of their parts in an efficient, provable way.
Group: io.crums Artifact: ledgers
Show all versions
Show all versions
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact ledgers
Group io.crums
Version 0.5.1
Last update 25. October 2022
Organization not specified
URL https://crums.io/project/ledgers
License GNU Affero General Public License, Version 3
Dependencies amount 1
Dependencies io-util,
There are maybe transitive dependencies!
Group io.crums
Version 0.5.1
Last update 25. October 2022
Organization not specified
URL https://crums.io/project/ledgers
License GNU Affero General Public License, Version 3
Dependencies amount 1
Dependencies io-util,
There are maybe transitive dependencies!
Page 1 from 1 (items total 2)