| File | Mode | Size |
|---|---|---|
| examples | ||
| fpc | ||
| pbt | ||
| tactics | ||
| .gitignore | -rw-r--r-- | 97 bytes |
| .travis.yml | -rw-r--r-- | 499 bytes |
| README.md | -rw-r--r-- | 4.2 KB |
| _CoqProject | -rw-r--r-- | 242 bytes |
| File | Mode | Size |
|---|---|---|
| examples | ||
| fpc | ||
| pbt | ||
| tactics | ||
| .gitignore | -rw-r--r-- | 97 bytes |
| .travis.yml | -rw-r--r-- | 499 bytes |
| README.md | -rw-r--r-- | 4.2 KB |
| _CoqProject | -rw-r--r-- | 242 bytes |