NEW CoqCheatSheet.pdf: A quick reference sheet I made for learning Coq. - #5
Open
alhassy wants to merge 2 commits into
Open
NEW CoqCheatSheet.pdf: A quick reference sheet I made for learning Coq.#5alhassy wants to merge 2 commits into
alhassy wants to merge 2 commits into
