This tutorial depends on Lean 3, VS Code, and mathlib. You can find the textbook both online and in this repository in html format or as a pdf document. The book is designed to be read as you work ...
The HTC program in mathematics offers exceptional students the opportunity to earn a mathematics degree while working closely with faculty members in mathematics. Maximum opportunities will be ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback