verified-computation

Here are 3 public repositories matching this topic...

sjqtentacles / sml-interval

Pure Standard ML interval arithmetic: outward-rounded operations, elementary functions, width/midpoint/contains, interval-Newton root enclosure (MLton + Poly/ML)

library pure sml standard-ml numerical-methods mlton numerics interval-arithmetic deterministic polyml smlpkg verified-computation

Updated Jul 22, 2026
Standard ML

occisn / erdos-36-certified-lower-bound

Star

Open, fully rigorous re-certification of White's lower bound for Erdős's minimum-overlap problem (#36), with an independent verifier

reproducible-research computer-assisted-proof erdos-problems certified-computation verified-computation minimum-overlap-problem erdos-problem-36

Updated Jun 30, 2026
Python

AnubisQuantumCipher / hermes-jackal-verified

Star

Released 41-tool Hermes adapter for JACKAL v1.7.3: exact, checked, bounded, formal-bounded, claim, structural, decision, program-evidence, and refusal-preserving routes.

mathematics hermes interval-arithmetic formal-verification evidence lean4 hermes-plugin verified-computation

Updated Aug 22, 2026
Python

Add this topic to your repo

To associate your repository with the verified-computation topic, visit your repo's landing page and select "manage topics."

Learn more