Proof is a way to show a statement is always true by using worded or algebraic reasoning. Higher tier – There are algebraic ways to describe odd, even and consecutive integers, which are needed for ...
This repository contains the code for the tutorial Algebraic computations in Lean, by Heather Macbeth. If you have a GitHub account, you can run the code on the web using Gitpod. You can also clone ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results