Home » dev.ikm.puli » puli » Versions

Proof Utility Library

A library for manipulating with proofs based on inference rules.
Version ▼VulnerabilitiesRepositoryUsagesDate
0.6.x
0.6.0Central
3
Oct 09, 2024
0.5.x
0.5.0Central
3
Oct 08, 2024
0.4.x
0.4.0Central
3
Aug 23, 2024
0.3.x
0.3.0-ikm-r1Central
6
Aug 07, 2024