https://github.com/mit-plv/rewriter
History
Tip revision: 67901e01a88651023da2d6214df17170a21d4cbd authored by Jason Gross on 02 October 2022, 11:43:59 UTC
Merge pull request #62 from JasonGross/ltac2-reify-more
Tip revision: 67901e0
File Mode Size
.github
etc
src
.gitattributes -rw-r--r-- 32 bytes
.gitignore -rw-r--r-- 3.0 KB
.gitmodules -rw-r--r-- 107 bytes
.mailmap -rw-r--r-- 2.4 KB
AUTHORS -rw-r--r-- 503 bytes
CONTRIBUTORS -rw-r--r-- 1.0 KB
COPYRIGHT -rw-r--r-- 370 bytes
LICENSE-APACHE -rw-r--r-- 635 bytes
LICENSE-BSD-1 -rw-r--r-- 1.1 KB
LICENSE-MIT -rw-r--r-- 1.1 KB
Makefile -rw-r--r-- 3.2 KB
Makefile.local -rw-r--r-- 194 bytes
Makefile.local-late -rw-r--r-- 649 bytes
Makefile.local.common -rw-r--r-- 2.2 KB
README.md -rw-r--r-- 12.4 KB
_CoqProject.in -rw-r--r-- 6.4 KB
rewriting-extended.md -rw-r--r-- 125.0 KB

README.md

back to top