| File | Mode | Size |
|---|---|---|
| .github | ||
| theories | ||
| .gitignore | -rw-r--r-- | 1.5 KB |
| LICENSE | -rw-r--r-- | 1.0 KB |
| Makefile | -rw-r--r-- | 335 bytes |
| README.md | -rw-r--r-- | 2.0 KB |
| _CoqProject | -rw-r--r-- | 120 bytes |
| coq-belgames.opam | -rw-r--r-- | 1.3 KB |
| meta.yml | -rw-r--r-- | 2.6 KB |
| File | Mode | Size |
|---|---|---|
| .github | ||
| theories | ||
| .gitignore | -rw-r--r-- | 1.5 KB |
| LICENSE | -rw-r--r-- | 1.0 KB |
| Makefile | -rw-r--r-- | 335 bytes |
| README.md | -rw-r--r-- | 2.0 KB |
| _CoqProject | -rw-r--r-- | 120 bytes |
| coq-belgames.opam | -rw-r--r-- | 1.3 KB |
| meta.yml | -rw-r--r-- | 2.6 KB |