Pinned Repositories
certora-prover-sup
Supplementary Material to be used with the Certora Prover
differential-datalog
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.
CertoraProverSupplementary
Supplementary Material to be used with the Certora Prover
mooly-sagiv's Repositories
mooly-sagiv/certora-prover-sup
Supplementary Material to be used with the Certora Prover