AlexKontorovich/2025EuclideanGeometryCourse
Euclidean geometry course with Lean proofs
View on index · View in 3D Map
Related repos
- Collection of formalized conjecture statements in Lean
- Exercises to master Vercel’s AI SDK v5
- AI crash course for busy builders
- Calculates positions of solar system bodies
- notes and code for DeepLearning.AI Claude Code course
- Course for transitioning to AI engineering
- self-paced online math curriculum for independent learners
- Guide for open source intelligence professionals
- Engineering interview question bank
- Guide for machine learning interviews
