Revision ad46491be091e941cc7489d8ef77110abdcfffb8 authored by Johan Commelin on 27 June 2020, 09:48:47 UTC, committed by Johan Commelin on 27 June 2020, 09:48:47 UTC
1 parent 23c2b19
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 |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...