Skip to content
GitLab
Explore
Sign in
program-verification
course-2023-2024
Repository
Branches
Overview
Active
Stale
All
Active branches
master
default
protected
2ed427f6
·
Tweak `iInduction` to not generate unexpected `⌜ _ ⌝ →` premises.
·
May 08, 2024