| File | Mode | Size |
|---|---|---|
| calc.md | -rw-r--r-- | 139 bytes |
| conv.md | -rw-r--r-- | 150 bytes |
| simp.md | -rw-r--r-- | 128 bytes |
| tactic_writing.md | -rw-r--r-- | 166 bytes |
| well_founded_recursion.md | -rw-r--r-- | 186 bytes |
| File | Mode | Size |
|---|---|---|
| calc.md | -rw-r--r-- | 139 bytes |
| conv.md | -rw-r--r-- | 150 bytes |
| simp.md | -rw-r--r-- | 128 bytes |
| tactic_writing.md | -rw-r--r-- | 166 bytes |
| well_founded_recursion.md | -rw-r--r-- | 186 bytes |