Try doing some basic maths questions in the Lean Theorem Prover. Functions, real numbers, equivalence relations and groups. Click on README.md and then on "Open in CoCalc with one click".
License: APACHE
Name | Size | Last Modified |
|---|---|---|
| W.lean | 3.9 KB | 2/19/2020, 2:55:14 AM |
| analysis/ | 2 items | 2/19/2020, 2:55:14 AM |
| array/ | 2 items | 5/11/2020, 11:55:12 AM |
| bool.lean | 4.7 KB | 2/19/2020, 2:55:14 AM |
| bool.olean | 20.2 KB | 2/19/2020, 3:12:39 AM |
| buffer/ | 1 item | 2/19/2020, 2:55:14 AM |
| char.lean | 652 bytes | 2/19/2020, 2:55:14 AM |
| char.olean | 3.5 KB | 2/19/2020, 3:12:37 AM |
| complex/ | 2 items | 2/19/2020, 2:55:14 AM |
| dfinsupp.lean | 32 KB | 2/19/2020, 2:55:15 AM |
| dlist/ | 3 items | 9/19/2020, 5:58:02 PM |
| equiv/ | 12 items | 8/7/2020, 5:35:47 PM |
| erased.lean | 2.1 KB | 2/19/2020, 2:55:14 AM |
| fin.lean | 17 KB | 2/19/2020, 2:55:15 AM |
| fin.olean | 103.9 KB | 2/19/2020, 9:23:25 AM |
| finmap.lean | 18.1 KB | 2/19/2020, 2:55:14 AM |
| finset.lean | 102.8 KB | 2/19/2020, 2:55:14 AM |
| finset.olean | 581.1 KB | 2/19/2020, 9:45:31 AM |
| finsupp.lean | 62 KB | 2/19/2020, 2:55:15 AM |
| fintype/ | 1 item | 2/19/2020, 2:55:14 AM |
| fintype.lean | 37 KB | 2/19/2020, 2:55:15 AM |
| fintype.olean | 334.8 KB | 2/19/2020, 9:49:33 AM |
| fp/ | 1 item | 2/19/2020, 2:55:14 AM |
| hash_map.lean | 27.9 KB | 2/19/2020, 2:55:14 AM |
| holor.lean | 14.3 KB | 2/19/2020, 2:55:14 AM |
| indicator_function.lean | 7.6 KB | 2/19/2020, 2:55:14 AM |
| int/ | 7 items | 8/7/2020, 5:35:47 PM |
| lazy_list2.lean | 2.4 KB | 2/19/2020, 2:55:14 AM |
| list/ | 13 items | 9/19/2020, 5:58:02 PM |
| matrix/ | 2 items | 2/19/2020, 2:55:15 AM |
| mllist.lean | 5.6 KB | 2/19/2020, 2:55:14 AM |
| mllist.olean | 33.5 KB | 2/19/2020, 3:12:43 AM |
| multiset.lean | 135.1 KB | 2/19/2020, 2:55:14 AM |
| multiset.olean | 841.5 KB | 2/19/2020, 9:41:12 AM |
| mv_polynomial.lean | 46.9 KB | 2/19/2020, 2:55:14 AM |
| nat/ | 21 items | 8/7/2020, 5:35:47 PM |
| num/ | 4 items | 8/7/2020, 5:35:47 PM |
| opposite.lean | 3.3 KB | 2/19/2020, 2:55:14 AM |
| option/ | 4 items | 9/19/2020, 5:58:02 PM |
| padics/ | 5 items | 2/19/2020, 2:55:15 AM |
| pequiv.lean | 11.7 KB | 2/19/2020, 2:55:14 AM |
| pfun.lean | 22.6 KB | 2/19/2020, 2:55:14 AM |
| pfun.olean | 197.3 KB | 2/19/2020, 9:27:42 AM |
| pnat/ | 4 items | 8/7/2020, 5:35:47 PM |
| polynomial.lean | 103.3 KB | 2/19/2020, 2:55:14 AM |
| prod.lean | 3.4 KB | 2/19/2020, 2:55:14 AM |
| prod.olean | 20 KB | 2/19/2020, 3:12:37 AM |
| quot.lean | 11.9 KB | 2/19/2020, 2:55:14 AM |
| quot.olean | 56.9 KB | 2/19/2020, 3:12:45 AM |
| rat/ | 13 items | 8/7/2020, 5:35:47 PM |