emilypi / group-theoryLinks
The theory of groups
☆77Updated last year
Alternatives and similar repositories for group-theory
Users that are interested in group-theory are comparing it to the libraries listed below
Sorting:
- A non-interactive proof assistant using the Haskell type system☆37Updated 5 years ago
- Basics of the dependently-typed functional language Agda ^_^☆39Updated 3 years ago
- The Software Foundations book, in GHC☆82Updated 5 months ago
- Quantitative Type Theory implementation☆54Updated 4 years ago
- The theory of algebraic graphs formalised in Agda☆90Updated 6 years ago
- Named parameters (keyword arguments) for Haskell☆94Updated 2 months ago
- Learn the Agda basics in three 2-hour sessions.☆57Updated last year
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆68Updated last month
- Haskell implementation of nominal datatypes and functions☆43Updated 4 years ago
- Haskell library for type-inference with Hindley-Milner type-system.☆34Updated 11 months ago
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆82Updated 8 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 10 months ago
- A slow-paced introduction to reflection in Agda. ---Tactics!☆101Updated 3 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 6 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆122Updated 4 months ago
- Benchmarks for capture-avoiding substitution☆114Updated this week
- Library of categories, with categorical constructions on them☆57Updated last year
- System F-omega normalization by hereditary substitution in Agda☆59Updated 5 years ago
- Fine-grained lattice primitives for Haskell☆37Updated 3 weeks ago
- Interpret Haskell programs into any cartesian closed category.☆61Updated 2 weeks ago
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆56Updated last year
- Tutorial series introducing Agda to the people at BCAM☆26Updated 3 years ago
- Agda category theory library for denotational design☆51Updated 11 months ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆63Updated 7 months ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- A tutorial on how Agda infers things☆42Updated 4 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- Sturdy is a library for developing sound static analyses in Haskell.☆61Updated last year