zchn/proofweb zchn/proofweb

  • Stars
    star
    1
  • Language
    OCaml
  • Created almost 9 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
zchn/proofweb
github

zchn

Reviews

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

Repository Details

ProofWeb (http://proofweb.cs.ru.nl/) ported to ocamlnet 4.0.4 and made dockerable (WORK-IN-PROGRESS)

More Repositories

1

ethereum-analyzer

An Ethereum contract analyzer.
Haskell
16
star
2

eth-acl2

An ACL2 formalization of the Ethereum VM, aiming to be both executable and suitable for proving interesting properties of EVM contracts.
Common Lisp
3
star
3

llvm-phkit

llvm-phkit
C
2
star