https://github.com/EasyCrypt/easycrypt
History
Tip revision: e1c72bcd88d9bf28bb28a2d6ddeee1ca2bb97aee authored by Pierre-Yves Strub on 05 April 2024, 14:34:09 UTC
Internal change: primitive notion of forall-bindings in proof terms
Tip revision: e1c72bc
File Mode Size
docker
install
packaging
srctx
testing
dune -rw-r--r-- 15 bytes

back to top