In this tutorial you will be using Lean to prove theorems in a platform called Github Codespaces. Lean will not actually be running on your computer, but you will connect to a machine where Lean is ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback