https://github.com/EasyCrypt/easycrypt
Revision a18abdf99f8c2d68b732a41e8fb272bb4d86a534 authored by Pierre-Yves Strub on 23 April 2018, 13:37:01 UTC, committed by GitHub on 23 April 2018, 13:37:01 UTC
* Reduction for multi-arg eta rule.

[fix #17278]
1 parent d7510b9
History
Tip revision: a18abdf99f8c2d68b732a41e8fb272bb4d86a534 authored by Pierre-Yves Strub on 23 April 2018, 13:37:01 UTC
Deploy multi args eta ticket 17278 (#12)
Tip revision: a18abdf

back to top