CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place. Commercial Alternative to JupyterHub.

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".

Project: Xena
Views: 18800
License: APACHE
Tweet
Share
Share
Name
Size
Last Modified
challenge01.md345 bytes2/19/2020, 2:52:24 AM
challenge02.md264 bytes2/19/2020, 2:52:24 AM
challenge03.md791 bytes2/19/2020, 2:52:24 AM
challenge04.md280 bytes2/19/2020, 2:52:24 AM
challenge05.md122 bytes2/19/2020, 2:52:24 AM
challenge06.md621 bytes2/19/2020, 2:52:24 AM
challenge07.md1.4 KB2/19/2020, 2:52:24 AM
challenge08.md1 KB2/19/2020, 2:52:24 AM
challenge09.md466 bytes2/19/2020, 2:52:24 AM