rival3

Interval arithmetic for real computation

Build status: ok passing tests valid license

Documentation Download
Authors
Documentation
Tags
License
Last updatedFriday, April 10th, 2026 5:16:47am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/herbie-fp/rival3/releases/latest/download/rival3-racket.zip7daeaa5e2407a6bdef6df59e1946f1668b7522b1
Last checkedMonday, April 20th, 2026 7:08:08am (UTC)
Last editedFriday, April 10th, 2026 5:16:47am (UTC)
Date addedWednesday, March 4th, 2026 1:58:10am (UTC)
Modules
  • rival3/scribblings/rival3.scrbl
  • rival3/scribblings/profile.scrbl
  • rival3/ops.rkt
  • rival3/main.rkt
  • rival3/scribblings/eval.scrbl