https://gitlab.com/nomadic-labs/mi-cho-coq
Revision 38f7ba5e5a52a7ab9998135c61fbd7543471a0d6 authored by Raphaël Cauderlier on 20 May 2019, 15:40:27 UTC, committed by Raphaël Cauderlier on 20 May 2019, 15:40:27 UTC
1 parent 7adba0e
History
Tip revision: 38f7ba5e5a52a7ab9998135c61fbd7543471a0d6 authored by Raphaël Cauderlier on 20 May 2019, 15:40:27 UTC
[Doc] Add missing tezos logo
Tip revision: 38f7ba5
File Mode Size
doc
scripts
src
.gitignore -rw-r--r-- 252 bytes
.gitlab-ci.yml -rw-r--r-- 752 bytes
LICENSE -rw-r--r-- 1.1 KB
README.org -rw-r--r-- 8.5 KB
_CoqProject -rw-r--r-- 4 bytes
configure -rwxr-xr-x 1.6 KB
mi-cho-coq.opam -rw-r--r-- 562 bytes

README.org

back to top