mua-uniandes / weekly-problems
Site to archive problems and their solutions
☆6Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for weekly-problems
- Material developed to teach different competitive programming topics☆15Updated 8 months ago
- Contiene en la WIKI los recursos para el curso ISIS2603☆15Updated 3 weeks ago
- My solutions to exercises in "Logical Foundations" (2018-2019)☆10Updated 5 years ago
- HoTTEST Summer School materials☆289Updated last year
- Digital images used as illustrations in the Open Logic Project☆6Updated 7 years ago
- A new Categories library for Agda☆369Updated last week
- Source material for Algebra-Driven Design☆137Updated last year
- An experimental library for Cubical Agda☆459Updated last week
- Mathematical Components☆587Updated this week
- The collected works of F. W. Lawvere☆321Updated 2 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆287Updated 9 months ago
- A formal logic framework that runs in the browser☆272Updated 4 months ago
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆206Updated 2 weeks ago
- Notes for the Lectures of Year 2 Computing 2021-22☆40Updated last year
- My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…☆16Updated last year
- LaTeX version of Grothendieck's Pursuing Stacks☆46Updated 3 years ago
- Randomized Property-Based Testing Plugin for Coq☆254Updated this week
- The agda-unimath library☆222Updated this week
- Metaprogramming, verified meta-theory and implementation of Coq in Coq☆382Updated this week
- This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …☆397Updated last week
- The Agda standard library☆583Updated this week
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆302Updated 8 months ago
- The Happy parser generator for Haskell☆291Updated last week
- A textbook on informal homotopy type theory☆2,034Updated 5 months ago
- Organization and planning for the Initial Types Club☆71Updated 2 years ago
- An introductory course to Homotopy Type Theory☆360Updated 4 years ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆350Updated last week
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆64Updated 7 months ago
- Visual Studio Code extension for Coq☆344Updated this week
- Proof assistant based on the λΠ-calculus modulo rewriting☆278Updated this week