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".
1#!/bin/bash 2# Removes all files named all.lean in the src/ directory 3DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )" 4find $DIR/../src/ -name 'all.lean' -delete -o -name 'all.olean' -delete 5# Removes src/lint_mathlib.lean, which is also created by `mk_all.sh` 6rm $DIR/../src/lint_mathlib.lean 7if test -f "$DIR/../src/nolints.lean"; then 8 rm $DIR/../src/nolints.lean 9fi 10 11
