vlaamseprogrammeerwedstrijd / opgaves
Opgaves van de voorbije jaren
☆21Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for opgaves
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆22Updated this week
- Asymptote preprocessor☆12Updated 2 years ago
- Repository for homeworks.☆10Updated 3 years ago
- Interactive Coq Proofs in Vim☆274Updated last month
- Olympiad GeoGuessr☆16Updated 10 months ago
- A Haskell project template for Advent of Code solutions.☆29Updated 11 months ago
- A LaTeX Typesetting Game☆241Updated 6 months ago
- ☆156Updated this week
- Server to host lean games.☆189Updated this week
- Debug and visualize computational geometry problems☆105Updated 2 years ago
- An online math contest platform☆17Updated this week
- ☆11Updated 3 years ago
- Embedding Pointful Array Programming in Python☆14Updated last month
- Lambda Calculus compiler for Codewars☆16Updated 9 months ago
- ☆63Updated 2 years ago
- A proof editor for first order logic☆26Updated 3 years ago
- Lean theorem proving interface which feels like pen-and-paper proofs.☆361Updated this week
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆40Updated this week
- Automated generation of planar geometry olympiad problems☆82Updated last year
- The user home repository for the Mathematics in Lean tutorial.☆264Updated 2 weeks ago
- The Lean version manager☆316Updated this week
- A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪☆17Updated this week
- Experiments in automation for Lean☆72Updated this week
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆121Updated 3 months ago
- The "batteries included" extended library for the Lean programming language and theorem prover☆249Updated this week
- Olympiad problem database☆44Updated 2 weeks ago
- 👋 get to know me through my personal website!☆10Updated last year
- Neovim support for the Lean theorem prover☆277Updated this week
- Beautiful, interactive visualizations of logical inference☆150Updated 3 years ago
- A formalization of the Rubik's cube group☆26Updated 4 years ago