A library for manipulating with proofs based on inference rules.

Latest Versions

1 versions โ†’
VersionVulnerabilitiesUsagesDate
0.1.x
0.1.0
14
Oct 11, 2017
1 versions โ†’