vEnhance / vonLinks
Olympiad problem database
☆53Updated 3 weeks ago
Alternatives and similar repositories for von
Users that are interested in von are comparing it to the libraries listed below
Sorting:
- Dot files for Evan Chen (Arch Linux on i3)☆126Updated this week
- A LaTeX Typesetting Game☆256Updated 5 months ago
- Source files for https://web.evanchen.cc☆54Updated this week
- OTIS course management system☆44Updated last week
- Automated generation of planar geometry olympiad problems☆97Updated 2 years ago
- An online math contest platform☆21Updated 5 months ago
- Asymptote preprocessor☆17Updated 3 months ago
- My personal LaTeX template, with sensible formatting and commands☆16Updated 2 years ago
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆48Updated this week
- Olympiad GeoGuessr☆17Updated 5 months ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆92Updated 10 months ago
- Lecture notes from Cambridge maths☆71Updated last year
- amateur translation project of Grothendieck's EGA.☆358Updated 11 months ago
- Master Thesis☆203Updated 3 years ago
- Instant Pdf Referencing☆68Updated 3 years ago
- An Infinitely Large Napkin☆1,594Updated this week
- competitive programming folder☆30Updated last week
- orz☆15Updated 2 years ago
- Virtual notebook that Evan uses for his PhD thesis.☆11Updated 2 weeks ago
- LaTeX code for some of my lecture notes☆361Updated 3 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…☆120Updated last year
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- An introduction to theorem proving in Lean for the impatient.☆251Updated 2 weeks ago
- Collaboration / Topic requests for SoME☆210Updated 2 years ago
- A class for homework assignments written in LaTeX.☆154Updated 4 years ago
- plasTeX plugin to build formalization blueprints.☆240Updated last week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆299Updated 9 months ago
- A computer algebra system for research in combinatorial game theory☆48Updated last year
- Listing of online math seminars☆43Updated last week
- Natural Number Game☆218Updated 3 weeks ago