This repository has been archived by the owner on Jun 12, 2019. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
Issues: spl/alpha-conversion-is-easy
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Use the case tactic instead of commented begin/end for induction and cases
#28
opened Nov 14, 2017 by
spl
ProTip!
Updated in the last three days: updated:>2024-06-20.