gap-system / homebrew-gap
Homebrew tap for GAP
☆14Updated 11 months ago
Alternatives and similar repositories for homebrew-gap:
Users that are interested in homebrew-gap are comparing it to the libraries listed below
- Deposited packages of the homalg project☆13Updated last week
- Multinomials for the Mathematical Components library.☆14Updated 3 weeks ago
- The GAP package Semigroups☆24Updated 3 weeks ago
- A formalization of synthetic algebraic geometry in Agda☆14Updated 6 years ago
- A new language for optimization☆13Updated 3 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 11 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- The MMT Language and System☆72Updated 9 months ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆23Updated last week
- A termination checker for higher-order rewriting with dependent types☆10Updated 4 years ago
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆22Updated 3 months ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- CAP project -- Categories, Algorithms, and Programming☆26Updated last week
- ☆23Updated 2 years ago
- Web application for course on Formal Reasoning About Programs☆17Updated 2 years ago
- A program for drawing knots and links, with support for importing images☆31Updated last year
- Combinatorial species in HoTT☆12Updated 9 years ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- Commutative diagrams with TikZ☆50Updated 2 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆23Updated 6 months ago
- C++ library for semigroups and monoids☆46Updated this week
- Tag-based webview of LaTeX documents☆28Updated last year
- The Cubicle model checker☆13Updated last year
- Mathematical stories☆13Updated 4 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- knot theory and computational algebra software☆37Updated 10 years ago
- Topology library for Coq☆12Updated 9 years ago
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆26Updated 10 years ago
- Coordinate-free hypersurfaces as Haskell types☆41Updated last month