JonathanGorard / Categorica
Categorica: a pure and applied category theory framework for the Wolfram Language
☆25Updated 5 months ago
Related projects: ⓘ
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆25Updated last month
- ☆25Updated 2 weeks ago
- Formalizing results about the Mandelbrot set in Lean☆20Updated this week
- ☆25Updated 6 months ago
- a categorical deep learning compiler☆104Updated 4 months ago
- Theory and Applications of Lenses and Optics☆50Updated 2 years ago
- Hypergraph Rewriting System☆62Updated 5 months ago
- A collaborative environment for formal, interoperable, conceptual modeling☆12Updated this week
- An interactive theorem prover for string diagrams☆105Updated 7 months ago
- MathTools is a Wolfram Language package that provides the software infrastructure I use for creating typeset mathematical diagrams and eq…☆20Updated 6 months ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆48Updated 10 months ago
- A project to digitalise results from high energy physics into Lean.☆47Updated this week
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 5 years ago
- Formalizing stochastic doubly-efficient debate☆88Updated last month
- Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"☆64Updated 9 months ago
- ☆34Updated 2 months ago
- ☆82Updated 10 months ago
- ☆48Updated 2 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆25Updated last week
- Benchmark for undergraduate-level formal mathematics☆88Updated 3 months ago
- ☆25Updated 2 years ago
- A formalized proof of Carleson's theorem in Lean☆20Updated this week
- ☆63Updated 3 weeks ago
- Experiments with interactive theorem provers, LLMs and formal systems☆17Updated last year
- Interfacing with Large Language Models (remote and local) from Lean.☆23Updated 2 months ago
- K Junior is an MIT licensed open source array language written by Arthur Whitney.☆20Updated 3 months ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆12Updated last week
- Very controlled natural language tactics for Lean☆60Updated 7 months ago
- A graphical editor for graph-like structures☆93Updated 9 months ago
- A web-based application for collaborating on simulation models in real-time using Firebase☆31Updated 3 weeks ago