| File | Mode | Size |
|---|---|---|
| contribute | ||
| extras | ||
| install | ||
| theories | ||
| tutorial | ||
| 100.yaml | -rw-r--r-- | 12.4 KB |
| README.md | -rw-r--r-- | 381 bytes |
| commands.md | -rw-r--r-- | 126 bytes |
| extras.md | -rw-r--r-- | 142 bytes |
| holes.md | -rw-r--r-- | 136 bytes |
| mathlib-overview.md | -rw-r--r-- | 151 bytes |
| overview.yaml | -rw-r--r-- | 20.5 KB |
| references.bib | -rw-r--r-- | 65.8 KB |
| tactics.md | -rw-r--r-- | 132 bytes |
| theories.md | -rw-r--r-- | 147 bytes |
| undergrad.yaml | -rw-r--r-- | 32.4 KB |
