Alternatives and similar repositories for theoremdep-source

Users that are interested in theoremdep-source are comparing it to the libraries listed below

• chrisheunen / freetikz
  FreeTikZ
  ☆37Updated 7 years ago
• Multramate / IC-GANT
  Imperial College London lecture notes for Geometry, Algebra, and Number Theory
  ☆38Updated last year
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated this week
• pacti-org / pacti
  A package for compositional system analysis and design
  ☆23Updated this week
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated 2 years ago
• Shufang-Zhu / Syft
  Synthesizer of LTLf formula
  ☆9Updated 4 months ago
• dreal / dreal4
  Automated Reasoning in Nonlinear Theories of Reals
  ☆163Updated last year
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆76Updated last month
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆110Updated 3 weeks ago
• jirilebl / ca
  Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis
  ☆11Updated last month
• keyshor / spectrl_tool
  Learning algorithm implementation and experiments in the paper "A Composable Specification Language for Reinforcement Learning Tasks" (ht…
  ☆17Updated 4 years ago
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆44Updated 2 weeks ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆75Updated 3 years ago
• whitemech / LTLf2DFA
  From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
  ☆72Updated last year
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆42Updated 3 years ago
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆29Updated last year
• ACT4E / ACT4E
  Sources for "Applied Category Theory for Engineering"
  ☆32Updated 3 weeks ago
• aibasel / lab
  Lab is a framework for evaluating planners and other solvers.
  ☆34Updated last month
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 3 weeks ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆38Updated this week
• patrikhaslum / INVAL
  The INVAL plan validator, and other PDDL tools.
  ☆18Updated last year
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• marcofavorito / pdfa-learning
  Implementation of PDFAs and PDFA learning algorithm.
  ☆11Updated 4 years ago
• IBM / kstar
  K* search based implementation of top-k and top-quality planners
  ☆16Updated last month
• slivingston / gr1py
  an enumerative reactive synthesis tool for the GR(1) fragment of LTL
  ☆13Updated 6 months ago
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆47Updated last year
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆48Updated last year
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆23Updated 4 years ago
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆75Updated last year
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆68Updated last year