lclem / agda-kernelLinks
An experimental Agda kernel for Jupyter
☆24Updated 3 years ago
Alternatives and similar repositories for agda-kernel
Users that are interested in agda-kernel are comparing it to the libraries listed below
Sorting:
- HoTT in Lean 3☆80Updated 4 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- Datatypes as quotients of polynomial functors☆36Updated 5 years ago
- apkg - package manager for Agda☆38Updated 3 years ago
- Formalizing linear algebra in Agda by representing matrices as functions☆26Updated last year
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- ☆23Updated 3 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- An equational theorem prover based on Knuth-Bendix completion☆52Updated 2 months ago
- ☆44Updated 2 years ago
- Real number computation software☆125Updated 2 years ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆50Updated 8 months ago
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆48Updated 8 months ago
- An experimental category theory library for Lean☆51Updated last year
- collaboration on work in progress☆15Updated 14 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated this week
- Ground Zero: Lean 4 HoTT Library☆62Updated 2 weeks ago
- ☆47Updated 2 years ago
- Lean4 port of Arduino balance car controller☆44Updated 4 years ago
- Categorical logic from a categorical point of view☆79Updated last year
- Monadic Constraint Programming framework☆28Updated 7 years ago
- A (formalised) general definition of type theories☆57Updated 4 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆52Updated last year
- A Unifying Cartesian Cubical Set Model☆35Updated 5 years ago
- ☆84Updated 7 years ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- A formalization of M-types in Agda☆33Updated 5 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- Dependently Typed Metaprogramming Exercises☆23Updated 7 years ago
- ☆27Updated last year