howard36 / probase
An online math contest platform
☆17Updated this week
Related projects: ⓘ
- OTIS course management system☆39Updated this week
- Automated generation of planar geometry olympiad problems☆81Updated last year
- Olympiad problem database☆43Updated 2 months ago
- A number guessing game with a p-adic twist.☆9Updated 11 months ago
- Source files for https://web.evanchen.cc☆41Updated this week
- Busy Beaver deciders backed by Coq proof☆35Updated last month
- My personal LaTeX template, with sensible formatting and commands☆16Updated last year
- ☆151Updated 2 weeks ago
- Catalog Of Math Problems Formalized In Lean☆92Updated this week
- A web UI that plots finite group Cayley Graphs in 3D☆11Updated 11 months ago
- A LaTeX Typesetting Game☆240Updated 4 months ago
- Domain Specific Language using Manim to create animations for data structures and algorithms☆48Updated 3 years ago
- A minimal setup required script to improve AoPS☆9Updated 4 months ago
- Olympiad GeoGuessr☆16Updated 8 months ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆129Updated 2 weeks ago
- Dot files for Evan Chen (Arch Linux on i3)☆111Updated this week
- ☆82Updated 10 months ago
- A computer algebra system for research in combinatorial game theory☆31Updated 8 months ago
- champagne☆32Updated 8 months ago
- algorithm for word square construction and the first proper English 10-square☆14Updated last year
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆54Updated last week
- An introduction to theorem proving in Lean for the impatient.☆93Updated this week
- Natural Number Game☆101Updated 3 weeks ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆191Updated last week
- A UCI-compatible chess engine, written in Rust. Currently in developlent.☆26Updated 4 months ago
- A solver for halting problem of Brainfuck programs☆15Updated 4 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆180Updated last week
- orz☆15Updated last year
- Server to host lean games.☆170Updated last week
- Asymptote preprocessor☆13Updated last year