https://github.com/EasyCrypt/easycrypt
Revision 3df922511fa813505af2a3cc1d9c057c7ac72c70 authored by Cameron Low on 25 June 2021, 09:39:45 UTC, committed by Cameron Low on 25 June 2021, 09:39:45 UTC
1 parent eb83d84
Tip revision: 3df922511fa813505af2a3cc1d9c057c7ac72c70 authored by Cameron Low on 25 June 2021, 09:39:45 UTC
Expanded on proof of equivalence between set distribution and action distribution. Also some cosmetic changes to proof layout.
Expanded on proof of equivalence between set distribution and action distribution. Also some cosmetic changes to proof layout.
Tip revision: 3df9225
File | Mode | Size |
---|---|---|
.github | ||
config | ||
examples | ||
lint | ||
scripts | ||
src | ||
theories | ||
.dir-locals.el | -rw-r--r-- | 285 bytes |
.gitignore | -rw-r--r-- | 515 bytes |
.merlin | -rw-r--r-- | 241 bytes |
COPYRIGHT | -rw-r--r-- | 581 bytes |
COPYRIGHT.yaml | -rw-r--r-- | 596 bytes |
MANIFEST | -rw-r--r-- | 623 bytes |
Makefile | -rw-r--r-- | 4.8 KB |
Makefile.system | -rw-r--r-- | 555 bytes |
README.md | -rw-r--r-- | 7.5 KB |
_tags | -rw-r--r-- | 812 bytes |
default.nix | -rw-r--r-- | 587 bytes |
easycrypt.png | -rw-r--r-- | 182.6 KB |
myocamlbuild.ml | -rw-r--r-- | 2.3 KB |
opam | -rw-r--r-- | 1.0 KB |
Computing file changes ...