howard36 / probase
An online math contest platform
☆19Updated 2 weeks ago
Alternatives and similar repositories for probase:
Users that are interested in probase are comparing it to the libraries listed below
- OTIS course management system☆41Updated this week
- Olympiad problem database☆48Updated 2 weeks ago
- Source files for https://web.evanchen.cc☆45Updated this week
- Automated generation of planar geometry olympiad problems☆86Updated last year
- A number guessing game with a p-adic twist.☆9Updated last year
- A minimal setup required script to improve AoPS☆9Updated 10 months ago
- Server to host lean games.☆243Updated this week
- A LaTeX Typesetting Game☆246Updated last month
- Exponent pair database☆41Updated last week
- A simple drawing tool that can convert diagrams into Asymptote code.☆19Updated 4 years ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆390Updated this week
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆145Updated this week
- Busy Beaver deciders backed by Coq proof☆48Updated last week
- orz☆15Updated 2 years ago
- Dot files for Evan Chen (Arch Linux on i3)☆114Updated last week
- Natural Number Game☆151Updated 3 weeks ago
- Catalog Of Math Problems Formalized In Lean☆139Updated this week
- ☆190Updated this week
- competitive programming folder☆29Updated 3 weeks ago
- Advanced algorithm and data structure library in C++☆65Updated 4 years ago
- champagne☆32Updated last year
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆44Updated this week
- Domain Specific Language using Manim to create animations for data structures and algorithms☆49Updated 3 years ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆74Updated this week
- 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
- Java implementations of sequences in the OEIS☆60Updated this week
- A collection of my solutions to various informatics olympiad problems☆49Updated last year
- An introduction to theorem proving in Lean for the impatient.☆146Updated this week
- metamath proof enumerators and other things☆93Updated 7 months ago
- A computer algebra system for research in combinatorial game theory☆38Updated last year