UACalc / uacalcsrc
The Universal Algebra Calculator
☆14Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for uacalcsrc
- Schemes in Lean (v2)☆42Updated 4 years ago
- A DSL for the internal language of a topos☆61Updated 7 months ago
- A heuristic procedure for proving inequalities☆32Updated 6 years ago
- ☆19Updated last year
- Deposited packages of the homalg project☆12Updated last month
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆19Updated 3 years ago
- A community database of topological counterexamples☆72Updated this week
- CAP project -- Categories, Algorithms, and Programming☆24Updated last week
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated last month
- Algebraic Combinatorics in Coq☆36Updated last month
- A development of homotopy theory in the Lean formal theorem prover.☆15Updated 4 years ago
- Metamath verifier in Python☆34Updated 7 months ago
- A (formalised) general definition of type theories☆56Updated 3 years ago
- Archived materials related to Homotopy Type Theory.☆10Updated 12 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 5 years ago
- Course notes for Pure Mathematics Topic D 2019☆52Updated 4 years ago
- Plain-text declaration export for Lean 4☆11Updated 3 weeks ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆58Updated this week
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆53Updated 10 years ago
- HoTT in Lean 3☆75Updated 4 years ago
- Tag-based webview of LaTeX documents☆28Updated 9 months ago
- ☆21Updated 2 years ago
- Research material of Erik Palmgren (1963–2019)☆20Updated last year
- ☆28Updated last year
- Coq solutions to exercises in HoTT book☆11Updated 10 years ago
- Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…☆29Updated 3 months ago
- Notes and handouts from OPLSS 2019☆34Updated 5 years ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆82Updated 3 years ago
- An Experiment in Haskell Symbolic Algebra☆72Updated 12 years ago
- Categorical logic from a categorical point of view☆75Updated last year