NEW CoqCheatSheet.pdf: A quick reference sheet I made for learning Coq.#5

Open

alhassy wants to merge 2 commits intoDeepSpec:masterfrom

Commits on Jul 16, 2018

NEW CoqCheatSheet.pdf: A quick reference sheet I made for learning Coq.
alhassy
committed

Commits on Jul 20, 2018

NEW, DeepSpec18_TreasureInDetails.pdf: Slides from today's evening 5-min talks.
alhassy
committed