blegat / mathrainingLinks
Site interactif avec théorie, exercices et problèmes
☆67Updated this week
Alternatives and similar repositories for mathraining
Users that are interested in mathraining are comparing it to the libraries listed below
Sorting:
- Présentation des classes préparatoires MP2I et MPI☆47Updated 3 weeks ago
- Nihil, a statically typed interpreted functional programming language☆69Updated 4 years ago
- Programming language written in Rust.☆12Updated 2 years ago
- A schwifty programming language made by a former out of school space cucumber☆31Updated 3 years ago
- Code source du bot du Discord de Mathraining☆13Updated 8 months ago
- Typst thesis template specialized on needs of mathematics.☆10Updated 2 months ago
- Douki-next (同期『ネクスト』) is a synchronization software for anilist and myanimelist.☆10Updated 4 years ago
- Natural Number Game☆227Updated 2 weeks ago
- A community database of topological counterexamples☆129Updated this week
- ☆344Updated 3 weeks ago
- Paso is a meta and functional programming language with a strong static inferred and iso-polymorphic type system☆29Updated 3 years ago
- Source code for the nLab☆187Updated 6 months ago
- External application installer for N110 calculators☆12Updated 4 years ago
- Linear algebra formalization in Agda☆16Updated 5 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆122Updated last year
- Server to host lean games.☆326Updated 2 weeks ago
- 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
- Tag-based webview of LaTeX documents☆31Updated last year
- A LaTeX Typesetting Game☆256Updated 6 months ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- CAS (Computer Algebra System) written in Rust for no_std environments.☆16Updated 2 years ago
- Smart shell that can handle mutliple REPLs☆13Updated 8 years ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆30Updated 3 years ago
- Cours de NSI - Lycée François Mauriac - Bordeaux☆34Updated 4 years ago
- Olympiad problem database☆53Updated last week
- The standard template to create a lean game☆29Updated 2 weeks ago
- A formalized proof of Carleson's theorem in Lean☆71Updated last month
- A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.☆29Updated last year
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆43Updated last year
- Source code for the Mathematics in Lean tutorial.☆172Updated last month