vEnhance / von
Olympiad problem database
☆47Updated last week
Alternatives and similar repositories for von:
Users that are interested in von are comparing it to the libraries listed below
- Dot files for Evan Chen (Arch Linux on i3)☆114Updated last week
- Automated generation of planar geometry olympiad problems☆89Updated last year
- OTIS course management system☆40Updated last week
- Asymptote preprocessor☆12Updated 2 years ago
- A LaTeX Typesetting Game☆245Updated 2 weeks ago
- Olympiad GeoGuessr☆16Updated 2 weeks ago
- Source files for https://web.evanchen.cc☆44Updated last week
- ☆8Updated 5 months ago
- An online math contest platform☆19Updated last week
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆44Updated 2 weeks ago
- Master Thesis☆192Updated 3 years ago
- A simple drawing tool that can convert diagrams into Asymptote code.☆19Updated 4 years ago
- LaTeX code for some of my lecture notes☆270Updated 3 years ago
- Lecture notes from Cambridge maths☆66Updated last year
- All of my stuff pertaining to programming contests and preparing for them☆23Updated 2 years ago
- orz☆15Updated 2 years ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated last year
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆23Updated last year
- My note taking setup scripts.☆407Updated 2 years ago
- competitive programming folder☆30Updated 2 weeks ago
- amateur translation project of Grothendieck's EGA.☆343Updated 6 months ago
- Listing of online math seminars☆43Updated 7 months ago
- Files for the MO Server☆8Updated 3 years ago
- An introduction to theorem proving in Lean for the impatient.☆161Updated this week
- Source code for the nLab☆171Updated 3 weeks ago
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- A tool to estimate the difficulties of USACO problems in terms of CodeForces rating.☆34Updated last year
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆238Updated 4 months ago
- plasTeX plugin to build formalization blueprints.☆198Updated last month
- Server to host lean games.☆252Updated last week