Popular repositories Loading

1. verify-todec verify-todec Public

   Formal check of Raffaello Guilietti's paper "Rendering doubles in Java"

   Common Lisp 5 3

2. fdlibm-proofs fdlibm-proofs Public

   ACL2 proofs about Fdlibm in C and Java

   Common Lisp 3

3. scala scala Public

   Forked from scala/scala

   The Scala programming language

   Scala 2

4. IAMath2Jinterval IAMath2Jinterval Public

   Forked from nvpanov/IAMath2Jinterval

   This is an adapter from IAMath to JInterval (www.jinterval.kenai.com)

   Java 1

5. oberon-verification oberon-verification Public

   Verification of Project Oberon with ACL2 prover

   Verilog 1

6. dot dot Public

   Forked from namin/dot

   formalization of the Dependent Object Types (DOT) calculus

   Coq