https://gitlab.com/nomadic-labs/mi-cho-coq
Raw File
Tip revision: 2c21e5713d88f9e986be38b4a1455b8aad606f3c authored by Basile Pesin on 05 July 2019, 16:00:18 UTC
Corrected the extraction problem
Tip revision: 2c21e57
_CoqProject
src
back to top