Skip to content

feat: print an individual procedure (print [proc] M.p) #5194

feat: print an individual procedure (print [proc] M.p)

feat: print an individual procedure (print [proc] M.p) #5194

Annotations

1 warning

Check EasyCrypt Libraries (examples)

succeeded Jul 3, 2026 in 4m 46s