Alternatives and similar repositories for theoremdep-source

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

• gambitproject / gte
  Game Theory Explorer: Build, explore and solve extensive form games.
  ☆100Updated 6 years ago
• rschwiebert / RingApp
  A database app for ring theory
  ☆22Updated last week
• aibasel / downward-benchmarks
  ☆46Updated last year
• ACT4E / ACT4E
  Sources for "Applied Category Theory for Engineering"
  ☆39Updated last week
• JmfanBU / ReachNNStar
  Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)
  ☆17Updated 2 years ago
• tulip-control / tulip-control
  Temporal Logic Planning toolbox
  ☆124Updated last month
• gtfactslab / immrax
  Interval Analysis and Mixed Monotone Reachability in JAX
  ☆16Updated 3 weeks ago
• bonetblai / qnp2fond
  Qualitative Numeric Planning
  ☆10Updated 5 years ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆117Updated last year
• QuMuLab / planner-for-relevant-policies
  ☆32Updated last year
• IBM / kstar
  K* search based implementation of top-k and top-quality planners
  ☆17Updated 3 months ago
• randriu / synthesis
  ☆24Updated 3 weeks ago
• vEnhance / evans-phd-notebook
  Virtual notebook that Evan uses for his PhD thesis.
  ☆11Updated 5 months ago
• ztangent / Plinf.jl
  Planning, inverse planning, and inference in planning, using PDDL and Gen.
  ☆41Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆41Updated 8 months ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆54Updated 2 years ago
• aibasel / lab
  Lab is a framework for evaluating planners and other solvers.
  ☆34Updated 2 weeks ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆76Updated 3 years ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆20Updated 3 years ago
• pacti-org / pacti
  A package for compositional system analysis and design
  ☆28Updated 6 months ago
• whitemech / LTLf2DFA
  From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
  ☆79Updated last year
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆126Updated 4 months ago
• mvcisback / py-metric-temporal-logic
  Python library for working with Metric Temporal Logic (MTL)
  ☆102Updated 2 years ago
• IBM / forbiditerative
  ForbidIterative planners for top-k, top-quality, and diverse planning problems
  ☆22Updated 4 months ago
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆28Updated 4 years ago
• IBM / vsrl-framework
  The Verifiably Safe Reinforcement Learning Framework
  ☆57Updated 4 years ago
• Name-Kompsky / tripos
  Cambridge Maths Tripos notes
  ☆37Updated 5 years ago
• aiplan4eu / up-fast-downward
  Integration of the planning system Fast Downward with the unified-planning framework.
  ☆13Updated 6 months ago
• chrisheunen / freetikz
  FreeTikZ
  ☆41Updated 8 years ago
• nergmada / planning-wiki
  By the community, for everyone. Planning.wiki is the online guide to AI Planning
  ☆84Updated 2 years ago