https://gitlab.com/nomadic-labs/mi-cho-coq
Revision f421eb8b6aec6f2fc8957786e1a67cf6164876fc authored by Basile Pesin on 19 July 2019, 09:02:03 UTC, committed by Raphaƫl Cauderlier on 22 October 2019, 14:18:32 UTC
1 parent 4b33d51
Raw File
Tip revision: f421eb8b6aec6f2fc8957786e1a67cf6164876fc authored by Basile Pesin on 19 July 2019, 09:02:03 UTC
Fixed pretty printer
Tip revision: f421eb8
_CoqProject
src
back to top