nadezhin/verify-todec nadezhin/verify-todec

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Common Lisp
  • License
    BSD 3-Clause "New...
  • Created over 6 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nadezhin/verify-todec
github

nadezhin

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

fdlibm-proofs

ACL2 proofs about Fdlibm in C and Java
Common Lisp
3
star
2

oberon-verification

Verification of Project Oberon with ACL2 prover
Verilog
1
star