alecstecpe-oss

alecstecpe-oss/exact-claim-verifier

Offline reference checker for structured exact claims in declared mathematical domains.

0 stars 0 forks 0 watchers Python MIT License
conformance-testing exact-arithmetic github-actions mathematics offline-verification python reference-checker reproducible-research
View on GitHub
1 Open Issue Need Help Last updated: Aug 13, 2026

Open Issues Need Help

View All on GitHub
Conformance: add an independent non-Python ECV implementation about 1 hour ago
enhancement help wanted
alecstecpe-oss/exact-claim-verifier
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