vEnhance / vonLinks
Olympiad problem database
☆53Updated last week
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)☆128Updated this week
- Source files for https://web.evanchen.cc☆58Updated this week
- A LaTeX Typesetting Game☆256Updated 6 months ago
- OTIS course management system☆45Updated this week
- Automated generation of planar geometry olympiad problems☆98Updated 2 years ago
- Asymptote preprocessor☆17Updated 4 months ago
- Olympiad GeoGuessr☆17Updated 6 months ago
- An online math contest platform☆22Updated last week
- Lecture notes from Cambridge maths☆71Updated last year
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆121Updated last year
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆95Updated 11 months ago
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆49Updated last week
- Master Thesis☆205Updated 4 years ago
- amateur translation project of Grothendieck's EGA.☆363Updated last week
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- LaTeX code for some of my lecture notes☆363Updated 3 years ago
- Source code for the nLab☆187Updated 6 months ago
- Repository for the QED interactive text and possible extensions☆105Updated 8 months ago
- My personal LaTeX template, with sensible formatting and commands☆16Updated 3 years ago
- Virtual notebook that Evan uses for his PhD thesis.☆11Updated last month
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆300Updated last year
- An introduction to theorem proving in Lean for the impatient.☆268Updated 3 weeks ago
- orz☆15Updated 2 years ago
- A computer algebra system for research in combinatorial game theory☆48Updated last year
- A community database for the problems on the erdosproblems.com site☆83Updated this week
- Instant Pdf Referencing☆69Updated 3 years ago
- A project to digitalise results from physics into Lean.☆360Updated this week
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆24Updated 3 weeks ago
- Theorem Proving in Lean 4☆211Updated last month
- Server to host lean games.☆326Updated 2 weeks ago