Allow EasyCrypt lemma names to begin with _.#874
Open
alleystoughton wants to merge 1 commit intoProofGeneral:masterfrom
Open
Allow EasyCrypt lemma names to begin with _.#874alleystoughton wants to merge 1 commit intoProofGeneral:masterfrom
_.#874alleystoughton wants to merge 1 commit intoProofGeneral:masterfrom
