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 ...
A project of a mathematics teaching website demonstrating my skills with just HTML and CSS. It includes some CSS animations and a lot of HTML elements A project of a mathematics teaching website ...
This tutorial depends on Lean 4, 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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results