https://github.com/EasyCrypt/easycrypt
History
Tip revision: 06e60602d48e902d7a7a56f7daea6e38040a4c2f authored by Pierre-Yves Strub on 07 November 2023, 07:36:17 UTC
nix-shell: do not pin provers
Tip revision: 06e6060
File Mode Size
docker
install
packaging
srctx
testing
dune -rw-r--r-- 15 bytes

back to top