Alternatives and similar repositories for Peirce-My-Heart

Users that are interested in Peirce-My-Heart are comparing it to the libraries listed below

• RAIRLab / lazyslate
  An open source graphical proof construction assistant for the creation of Natural Deduction proofs.
  ☆17Updated last year
• aig-upf / 2017-planning-with-simulators
  Online repository for the IJCAI 2017 paper "Purely Declarative Action Representations are Overrated: Classical Planning with Simulators"
  ☆10Updated 7 years ago
• leaderfrank / Custom-Corona-Tracker-using-PHP
  ☆10Updated last year
• bralani / icon22-23
  Software di gestione degli incroci semaforici sfruttando tecnologie di intelligenza artificiale per il corso di ingegneria della conoscen…
  ☆13Updated 2 years ago
• automatarium / automatarium
  A place for automata
  ☆79Updated last week
• MatteoMgr2008 / Arduino-ROBOTICA-E-AI
  In questa repository sono presenti diversi esempi di progetti Arduino (da quelli più semplici e basici a quelli più complessi e divertent…
  ☆34Updated 5 months ago
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆382Updated this week
• sellisd / awesome-complexity
  An awesome list of complex systems science resources
  ☆235Updated 7 months ago
• rocq-community / awesome-coq
  A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
  ☆361Updated 2 months ago
• ciaranm / glasgow-subgraph-solver
  A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.
  ☆91Updated last week
• Ehtijad-Ali / PYTHON_TASKS
  ☆11Updated last year
• CharlieGreenman / reason-oop-patterns
  GoF design patterns applied using Reason.
  ☆12Updated 2 years ago
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆287Updated last month
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 5 years ago
• potassco / clinguin
  🐧 Clingo Interactive UI
  ☆28Updated last month
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆192Updated 3 weeks ago
• leanprover-community / NNG4
  Natural Number Game
  ☆243Updated last month
• ufmg-smite / lean-smt
  Tactics for discharging Lean goals into SMT solvers.
  ☆240Updated last week
• squaresLab / COBOLd
  COBOLd: Gobblin’ Up COBOL Bugs for Fun and Profit
  ☆10Updated 7 years ago
• Paper-Proof / paperproof
  Lean theorem proving interface which feels like pen-and-paper proofs.
  ☆464Updated 3 weeks ago
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆30Updated last year
• OxiDD / oxidd
  Concurrent decision diagram framework written in Rust
  ☆70Updated 3 weeks ago
• ebraminio / awesome-qsharp
  A curated list of Q# code and resources.
  ☆174Updated 3 years ago
• urbanophile / awesome-sat-solvers
  A curated collection of resources for the Boolean Satisfiability Problem (SAT).
  ☆26Updated 9 months ago
• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆235Updated 7 months ago
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated last year
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆202Updated last week
• microsoft / z3guide
  Tutorials and courses for Z3
  ☆93Updated 2 weeks ago
• ai4reason / Prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆53Updated last year
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆51Updated last year