https://github.com/EasyCrypt/easycrypt
Revision 60d29c1f11f6c79824022608f9f83503d983ce61 authored by Benjamin Gregoire on 13 September 2019, 06:39:19 UTC, committed by Benjamin Gregoire on 13 September 2019, 06:39:19 UTC
1 parent 0e717db
History
Tip revision: 60d29c1f11f6c79824022608f9f83503d983ce61 authored by Benjamin Gregoire on 13 September 2019, 06:39:19 UTC
remove duplicate lemma get_none -> domNE
Tip revision: 60d29c1

back to top