In this course, we will learn how to work with the Lean 4 language. Please note that Lean 3 is very different. Learning goals: Learn to read and write code in a functional style. Learn to work with ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback