- Implement a more sophisticated way to link definitions and theorems
- Complete Linear Algebra Course With Two View Points
- Basic Course
- intro section, aimed at learning the bare minimum needed for engineering/ multi Variable Calculus
- Linear Algebra Done Right Approach
- Adding necessary Underlying Components
- Category Theory
- Combinatorics
- Group Theory
- Real/Complex Analysis
- Adding necessary Underlying Components
- Basic Course
- Group Theory
- Finite Groups
- Free Groups
- Extensive Dictionary
- Category Theory
- Pre-Calculus Course with Motivation
- History of Mathematical Problems