sharmaeklavya2 / theoremdep-sourceLinks
Source files for TheoremDep - a theorem dependency tracker
☆20Updated 5 months ago
Alternatives and similar repositories for theoremdep-source
Users that are interested in theoremdep-source are comparing it to the libraries listed below
Sorting:
- Julia parser, interpreter and compiler interface for the Planning Domain Definition Language (PDDL). Planners not included.☆84Updated 9 months ago
- Planning, inverse planning, and inference in planning, using PDDL and Gen.☆39Updated 11 months ago
- Interval Analysis and Mixed Monotone Reachability in JAX☆14Updated 4 months ago
- Julia wrapper for the Spot LTL and automata manipulation library☆17Updated 11 months ago
- Perform Model Checking and POMDP Planning from LTL specifications using POMDPs.jl☆16Updated 10 months ago
- Sources for "Applied Category Theory for Engineering"☆32Updated last week
- Symbolic planners for problems and domains specified in PDDL.☆60Updated last month
- A database app for ring theory☆22Updated 2 weeks ago
- The matrix cookbook, proved in the Lean theorem prover☆106Updated this week
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆55Updated 3 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆73Updated last year
- LaTeX package for automatically putting proof environments in appendix☆26Updated last year
- A gamification of the theorems in MATH40002 Analysis 1☆83Updated 2 years ago
- FreeTikZ☆37Updated 7 years ago
- A collaborative environment for formal, interoperable, conceptual modeling☆78Updated this week
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆84Updated 2 months ago
- Let's translate works of Grothendieck☆25Updated 5 years ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆24Updated 3 years ago
- Template for blueprint-driven formalization projects in Lean.☆54Updated this week
- Lecture notes from Cambridge maths☆68Updated last year
- A tour of Pomdpland☆10Updated 2 years ago
- Repository for the QED interactive text and possible extensions☆100Updated 4 months ago
- Write LaTeX theorems in Pandoc Markdown☆75Updated last year
- Some examples of Lean projects, for undergraduate mathematicians.☆23Updated 4 years ago
- Google AI Princeton control framework☆38Updated 4 years ago
- Tim Button's open textbook on set theory☆37Updated last year
- A computer algebra system for research in combinatorial game theory☆41Updated last year
- Convex optimization modeling in Lean 4☆46Updated last year
- ☆23Updated last week