vdt-herbie

Herbie support code for the VDT math library

Build status: ok failing tests missing license metadata

README Download
Authors
Documentation
    Tags
      License
        Last updatedWednesday, June 12th, 2024 9:23:03pm (UTC)
        Ring2
        ConflictsNone
        Dependencies
        Most recent build results
        Version Exceptions
        VersionSourceChecksum
        defaulthttps://github.com/herbie-fp/vdt-herbie.gita68e4832abe7a562e0cbf3008e1b9b46d244ce49
        Last checkedSaturday, June 29th, 2024 10:30:06pm (UTC)
        Last editedWednesday, June 12th, 2024 9:23:03pm (UTC)
        Date addedWednesday, June 12th, 2024 9:23:03pm (UTC)
        Modules
        • vdt-herbie/main.rkt
        • vdt-herbie/install.rkt