mua-uniandes / weekly-problemsLinks
Site to archive problems and their solutions
☆6Updated last month
Alternatives and similar repositories for weekly-problems
Users that are interested in weekly-problems are comparing it to the libraries listed below
Sorting:
- Material developed to teach different competitive programming topics☆16Updated last year
- Lecture notes for the Type Systems course given in Autumn 2023☆11Updated last year
- Repositorio de la optativa para la FCEIA☆16Updated 2 months ago
- GAPT: General Architecture for Proof Theory☆100Updated 2 weeks ago
- HoTTEST Summer School materials☆300Updated 3 weeks ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆107Updated 3 years ago
- Randomized Property-Based Testing Plugin for Coq☆265Updated this week
- Selected Papers of Dana S. Scott☆162Updated last year
- A library of mechanised undecidability proofs in the Coq proof assistant.☆119Updated 2 months ago
- CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory☆228Updated 2 months ago
- 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
- Coq plugin embedding elpi☆169Updated this week
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆236Updated 3 months ago
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆174Updated this week
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆257Updated this week
- ☆38Updated this week
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆21Updated 2 weeks ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆337Updated this week
- Visual Studio Code extension for Coq☆391Updated 2 weeks ago
- Lean 4 kernel / 'external checker' written in Lean 4☆106Updated this week
- Official repository of the Autosubst 2 project.☆23Updated 2 years ago
- Course materials for Chalmers TPIL25 class☆13Updated 4 months ago
- Lecture notes on realizability☆72Updated 4 months ago
- A function definition package for Coq☆232Updated 2 weeks ago
- A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]☆131Updated 6 months ago
- A selection of textbook-like course notes for the Imperial College Computing modules.☆80Updated last year
- SampCert : Verified Differential Privacy☆75Updated last month
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆451Updated last month
- Tactics for discharging Lean goals into SMT solvers.☆196Updated last month
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆24Updated 2 weeks ago