Skip to main content

Browse the archive

Revision e432e0315ae24fd49a1d629b629b72decbe9d0ad authored by Guillaume Claret on 16 November 2019, 13:29:15 UTC, committed by Raphaël Cauderlier on 18 April 2020, 12:03:12 UTC 
[of_ocaml] Add one side of the equivalence with the Coq AST
1 parent 80978ee
Raw File
.gitignore 
# General
.depend
.bkp/

# Coq
*.aux
*.glob
*.vo
*.lia.cache
# Generated by configure and coq_makefile
_CoqProject
Makefile
.coqdeps.d

# OCaml
*.cmi
*.cmo

# LaTeX
*.tex
*.vrb
*.toc
*.toc
*.snm
*.out
*.nav
*.aux
*.log
*.sty
# we keep *.pdf to ease sharing of slides
notes.*
*~
Makefile.conf
CoqMakefile.conf
back to top