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 |
---|---|---|
100-theorems-list | ||
examples | ||
README.md | -rw-r--r-- | 1.2 KB |
imo1988_q6.lean | -rw-r--r-- | 13.5 KB |
sensitivity.lean | -rw-r--r-- | 15.1 KB |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...