Update eclistings.sty (math style)#1082

namasikanam wants to merge 1 commit into

mainEasyCrypt/easycrypt:mainfrom

update-eclistings.styEasyCrypt/easycrypt:update-eclistings.styCopy head branch name to clipboard