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 |