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 |
---|---|---|
abel.lean | 12.4 KB | 2/19/2020, 2:55:14 AM |
abel.olean | 95.2 KB | 2/19/2020, 9:41:09 AM |
algebra.lean | 2.3 KB | 2/19/2020, 2:55:14 AM |
algebra.olean | 7 KB | 2/19/2020, 3:13:12 AM |
alias.lean | 4.4 KB | 2/19/2020, 2:55:14 AM |
alias.olean | 35.3 KB | 2/19/2020, 3:12:56 AM |
apply.lean | 7.8 KB | 2/19/2020, 2:55:14 AM |
apply.olean | 23.1 KB | 2/19/2020, 3:13:13 AM |
apply_fun.lean | 2.2 KB | 2/19/2020, 2:55:14 AM |
apply_fun.olean | 12.8 KB | 2/19/2020, 9:30:21 AM |
auto_cases.lean | 1.6 KB | 2/19/2020, 2:55:14 AM |
auto_cases.olean | 16.2 KB | 2/19/2020, 3:13:05 AM |
basic.lean | 459 bytes | 2/19/2020, 2:55:15 AM |
basic.olean | 2.4 KB | 2/19/2020, 3:13:43 AM |
cache.lean | 2.3 KB | 2/19/2020, 2:55:14 AM |
cache.olean | 5.7 KB | 2/19/2020, 3:12:33 AM |
chain.lean | 4.9 KB | 2/19/2020, 2:55:14 AM |
chain.olean | 52.1 KB | 2/19/2020, 3:13:29 AM |
clear.lean | 2.9 KB | 2/19/2020, 2:55:14 AM |
clear.olean | 8.3 KB | 2/19/2020, 3:13:06 AM |
converter/ | 5 items | 9/19/2020, 5:58:02 PM |
core.lean | 57.4 KB | 2/19/2020, 2:55:15 AM |
core.olean | 214.8 KB | 2/19/2020, 3:13:01 AM |
default.lean | 869 bytes | 2/19/2020, 2:55:15 AM |
default.olean | 2.3 KB | 2/19/2020, 9:43:15 AM |
derive_inhabited.lean | 2.2 KB | 2/19/2020, 2:55:14 AM |
derive_inhabited.olean | 18.2 KB | 2/19/2020, 3:12:50 AM |
elide.lean | 2.3 KB | 2/19/2020, 2:55:14 AM |
explode.lean | 5.1 KB | 2/19/2020, 2:55:14 AM |
ext.lean | 10.3 KB | 2/19/2020, 2:55:14 AM |
ext.olean | 46.5 KB | 2/19/2020, 3:13:24 AM |
fin_cases.lean | 4 KB | 2/19/2020, 2:55:14 AM |
find.lean | 2.4 KB | 2/19/2020, 2:55:14 AM |
finish.lean | 22.2 KB | 2/19/2020, 2:55:15 AM |
finish.olean | 74.7 KB | 2/19/2020, 3:13:22 AM |
generalize_proofs.lean | 2.2 KB | 2/19/2020, 2:55:14 AM |
generalize_proofs.olean | 10.4 KB | 2/19/2020, 3:12:28 AM |
interactive.lean | 30.6 KB | 2/19/2020, 2:55:15 AM |
interactive.olean | 126.1 KB | 2/19/2020, 3:13:34 AM |
library_note.lean | 3.3 KB | 2/19/2020, 2:55:14 AM |
library_note.olean | 7.7 KB | 2/19/2020, 3:12:27 AM |
lift.lean | 7.9 KB | 2/19/2020, 2:55:14 AM |
lift.olean | 33.6 KB | 2/19/2020, 3:13:23 AM |
linarith.lean | 33 KB | 2/19/2020, 2:55:15 AM |
linarith.olean | 986.1 KB | 2/19/2020, 9:42:37 AM |
lint.lean | 31.8 KB | 2/19/2020, 2:55:15 AM |
lint.olean | 110.9 KB | 2/19/2020, 3:13:21 AM |
local_cache.lean | 7.3 KB | 2/19/2020, 2:55:15 AM |
localized.lean | 3.3 KB | 2/19/2020, 2:55:15 AM |
localized.olean | 12.2 KB | 2/19/2020, 3:13:07 AM |