-
Couldn't load subscription status.
- Fork 24
Pull requests: DeepSpec/dsss18
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Change ssreflect import, as ssreflect is now included in Coq.
#9
opened Jul 23, 2018 by
Chobbes
Loading…
NEW CoqCheatSheet.pdf: A quick reference sheet I made for learning Coq.
#5
opened Jul 16, 2018 by
alhassy
Loading…
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.