The tutorial system, differing from the existing plan in other branches of the College, in that every member of the department will serve as tutor in addition to his duties of instruction, 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 ...