howard36 / probaseLinks
An online math contest platform
☆21Updated 4 months ago
Alternatives and similar repositories for probase
Users that are interested in probase are comparing it to the libraries listed below
Sorting:
- Olympiad problem database☆51Updated last week
- Automated generation of planar geometry olympiad problems☆94Updated last year
- OTIS course management system☆41Updated this week
- Source files for https://web.evanchen.cc☆51Updated this week
- A LaTeX Typesetting Game☆256Updated 4 months ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆625Updated this week
- orz☆15Updated 2 years ago
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆48Updated this week
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆57Updated 8 months ago
- Natural Number Game☆199Updated this week
- ☆322Updated 4 months ago
- Server to host lean games.☆298Updated last week
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆90Updated last week
- Exponent pair database☆61Updated last week
- Olympiad GeoGuessr☆16Updated 4 months ago
- An Infinitely Large Napkin☆1,560Updated 3 weeks ago
- Complicated math expression generator☆104Updated last year
- Kattis problem package format specification☆12Updated 3 weeks ago
- An introduction to theorem proving in Lean for the impatient.☆227Updated last week
- Collaboration / Topic requests for SoME☆210Updated 2 years ago
- Asymptote preprocessor☆17Updated 2 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆275Updated 7 months ago
- blueprint for prime number theorem and more☆176Updated this week
- A collection of my solutions to various informatics olympiad problems☆50Updated last year
- Busy Beaver deciders backed by Coq proof☆53Updated 5 months ago
- A project to map out the relations between different equational theories of Magmas.☆410Updated last week
- Search for the K12 neighborly polyhedron.☆111Updated 7 months ago
- ☆8Updated 8 months ago
- A tool to estimate the difficulties of USACO problems in terms of CodeForces rating.☆35Updated last year
- A C++ library for solving problems on Project Euler☆41Updated 2 weeks ago