A library for manipulating with proofs based on inference rules.

Latest Versions

4 versions โ†’
VersionVulnerabilitiesUsagesDate
0.6.x
0.6.0
3
Oct 09, 2024
0.5.x
0.5.0
3
Oct 08, 2024
0.4.x
0.4.0
3
Aug 23, 2024
0.3.x
0.3.0-ikm-r1
6
Aug 07, 2024
4 versions โ†’