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 ...
Notifications You must be signed in to change notification settings Git is a distributed Version Control System (VCS), which means it is a useful tool for easily ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback