mathematics

• 2024-09-29 - stokes' theorem
• 2024-04-22 - a lean goal
• 2024-04-20 - getting lean
• 2024-04-19 - space and quantity duality