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 |
Computing file changes ...
