-
Notifications
You must be signed in to change notification settings - Fork 18
Pull requests: alexoltean61/certimp-lean
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
added determinism, dead-code elimination, and new Hoare proof
#25
opened Jun 2, 2026 by
mateea326
Loading…
Re-prove exercises and Hoare metatheory in alternative styles
#24
opened Jun 2, 2026 by
Stefan-Ivan
Loading…
complete equiv, hoare and transformation exercises
#23
opened Jun 2, 2026 by
PatriciaBucataru
Loading…
ProTip!
Updated in the last three days: updated:>2026-06-11.