mavam / abstract-algebra-cheatsheet
A visualization of key structures in abstract algebra.
☆154Updated 4 years ago
Alternatives and similar repositories for abstract-algebra-cheatsheet:
Users that are interested in abstract-algebra-cheatsheet are comparing it to the libraries listed below
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 5 years ago
- ACT community resources☆465Updated 5 years ago
- An introductory course to Homotopy Type Theory☆364Updated 4 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆290Updated 11 months ago
- My personal repository of formally verified mathematics.☆295Updated last week
- A course-worth of notes☆199Updated 6 months ago
- Resources for type theory, functional programming, etc.☆313Updated 3 years ago
- formally verified category theory library☆259Updated 4 years ago
- Spartan type theory☆261Updated 7 months ago
- 📖 source material for Thinking with Types☆480Updated last year
- This project is to contain a listing of common theorems in elementary category theory.☆72Updated 4 years ago
- A visual catalogue + story of morphisms displayed across computational structures.☆122Updated 2 years ago
- Programming language agnostic type construction language based on polynomials.☆367Updated 7 months ago
- Moonad: a Peer-to-Peer Operating System☆102Updated 5 years ago
- Proving leftpad correct two-dozen different ways☆659Updated last month
- An axiom-free formalization of category theory in Coq for personal study and practical work☆761Updated 2 weeks ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆95Updated 4 years ago
- Demo for high-performance type theory elaboration☆532Updated last year
- Mathematical Components (the Book)☆141Updated last year
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆213Updated 5 years ago
- Total functional programming (ESFP) literature☆187Updated 5 years ago
- A formalization of category theory in the Coq proof assistant.☆94Updated 2 months ago
- Metamath Zero specification language☆328Updated last month
- The Makam Metalanguage☆196Updated last year
- ☆160Updated 5 years ago
- A graphical interactive proof assistant designed for education☆165Updated last month
- Thoughts on adjoint, norm and such.☆166Updated 2 years ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆121Updated 2 years ago
- Software Foundations in Idris☆453Updated 5 years ago
- Functional teaching language for use in a discrete mathematics course☆165Updated this week