Skip to content

Change ssreflect import, as ssreflect is now included in Coq.#9

Open
Chobbes wants to merge 1 commit intoDeepSpec:masterfrom
Chobbes:master
Open

Change ssreflect import, as ssreflect is now included in Coq.#9
Chobbes wants to merge 1 commit intoDeepSpec:masterfrom
Chobbes:master

Commits

Commits on Jul 23, 2018