Open Issues Need Help
View All on GitHub enhancement help wanted
alecstecpe-oss/exact-claim-verifier alecstecpe-oss/exact-claim-verifier Offline reference checker for structured exact claims in declared mathematical domains.
Open project →
0
Offline reference checker for structured exact claims in declared mathematical domains.
Python
#conformance-testing#exact-arithmetic#github-actions#mathematics#offline-verification#python#reference-checker#reproducible-research