mavam / abstract-algebra-cheatsheet
A visualization of key structures in abstract algebra.
☆154Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for abstract-algebra-cheatsheet
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 5 years ago
- ACT community resources☆465Updated 4 years ago
- A visual catalogue + story of morphisms displayed across computational structures.☆122Updated 2 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆287Updated 9 months ago
- An introductory course to Homotopy Type Theory☆360Updated 4 years ago
- A course-worth of notes☆199Updated 4 months ago
- Resources for type theory, functional programming, etc.☆309Updated 3 years ago
- Category theory in the context of (functional) programming☆514Updated 6 years ago
- A graphical interactive proof assistant designed for education☆161Updated this week
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆95Updated 3 years ago
- My personal repository of formally verified mathematics.☆291Updated 3 weeks ago
- formally verified category theory library☆257Updated 4 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆213Updated 5 years ago
- The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs☆211Updated 2 years ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆754Updated this week
- 📖 source material for Thinking with Types☆477Updated last year
- A small and expressive dependently typed language☆129Updated 4 years ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆125Updated 7 months ago
- Library of the ##dependent distributed research support group☆110Updated 4 months ago
- Spartan type theory☆257Updated 5 months ago
- Elsa is a lambda calculus evaluator☆181Updated 5 months ago
- A curated set of links to formal methods involving provable code.☆195Updated 2 years ago
- ☆159Updated 5 years ago
- In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distingu…☆467Updated 11 months ago
- Verified hash-based AMQ structures in Coq☆121Updated 4 years ago
- Programming language agnostic type construction language based on polynomials.☆366Updated 5 months ago
- A formalization of category theory in the Coq proof assistant.☆93Updated 2 weeks ago
- Day 9 of Advent of Haskell - Denotational Design☆97Updated 2 years ago
- Thoughts on adjoint, norm and such.☆165Updated last year
- ☆109Updated 4 months ago