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 |