Alternatives and similar repositories for Allens-Interval-Algebra:

Users that are interested in Allens-Interval-Algebra are comparing it to the libraries listed below

• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆34Updated 8 years ago
• webyrd / linear-logic-multiset-rewriting
  Logic for story telling!
  ☆32Updated 6 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 5 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆32Updated 7 months ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆51Updated last month
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆32Updated 6 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• clf / celf
  ☆59Updated 5 years ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆23Updated 6 years ago
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆21Updated 4 months ago
• gebner / hott3
  HoTT in Lean 3
  ☆76Updated 4 years ago
• avigad / boole
  The Boole Interactive Reasoning Assistant
  ☆27Updated 10 years ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆63Updated 10 years ago
• andrejbauer / marshall
  Real number computation software
  ☆122Updated 2 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆25Updated 11 years ago
• webyrd / midoriKanren
  Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren
  ☆16Updated 2 months ago
• gilith / opentheory
  The opentheory tool processes higher order logic theory packages
  ☆15Updated last year
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆92Updated 6 years ago
• brownplt / lambda-py
  ☆58Updated 10 years ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 4 years ago
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated 7 months ago
• prologbyexample / code
  ☆28Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• avigad / arwm
  Automated Reasoning for the Working Mathematician
  ☆11Updated 5 years ago
• ynot-harvard / ynot
  The Ynot Project source code.
  ☆21Updated 10 years ago
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆57Updated 3 years ago
• JohnWCartmell / Theory
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆39Updated this week
• nunchaku-inria / nunchaku
  Model finder for higher-order logic
  ☆41Updated last year