File | Mode | Size |
---|---|---|
.gitignore | -rw-r--r-- | 11 bytes |
Makefile.local | -rw-r--r-- | 1.5 KB |
_CoqProject | -rw-r--r-- | 28 bytes |
_tags | -rw-r--r-- | 0 bytes |
extraction.v | -rw-r--r-- | 5.1 KB |
michocoq.ml.hand-written | -rw-r--r-- | 701 bytes |
File | Mode | Size |
---|---|---|
.gitignore | -rw-r--r-- | 11 bytes |
Makefile.local | -rw-r--r-- | 1.5 KB |
_CoqProject | -rw-r--r-- | 28 bytes |
_tags | -rw-r--r-- | 0 bytes |
extraction.v | -rw-r--r-- | 5.1 KB |
michocoq.ml.hand-written | -rw-r--r-- | 701 bytes |