nadezhin/libieeep1788
C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
Developer Profile
nadezhin
Discovered public repositories for nadezhin in the GitHub catalog.
nadezhin/acl2
ACL2 System and Books as Maintained by the Community
nadezhin/oberon-verification
Verification of Project Oberon with ACL2 prover
nadezhin/dot
formalization of the Dependent Object Types (DOT) calculus
nadezhin/IAMath2Jinterval
This is an adapter from IAMath to JInterval (www.jinterval.kenai.com)
nadezhin/scala
The Scala programming language