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.
  ☆18Updated 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
• duckki / lean-quantum
  Formalized quantum computing in Lean theorem prover
  ☆25Updated 4 years ago
• Lambda-Mountain-Compiler-Backend / LSTS
  Large Scale Type Systems (programming language)
  ☆124Updated last month
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆275Updated this week
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆30Updated 8 months ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆60Updated 4 months ago
• ngoriyasjil / IthkuilGloss
  Discord glossing bot for Ithkuil IV
  ☆19Updated last year
• leanprover-community / batteries
  The "batteries included" extended library for the Lean programming language and theorem prover
  ☆311Updated this week
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆175Updated 3 weeks ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆278Updated this week
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆210Updated last month
• YangletLiu / quantum-education-modules
  Labs and Projects of CSCI 4961 Introduction to Quantum Computing
  ☆62Updated 2 months ago
• potassco / clinguin
  🐧 Clingo Interactive UI
  ☆26Updated this week
• OxiDD / oxidd
  Concurrent decision diagram framework written in Rust
  ☆61Updated last week
• IPDSnelting / tba-2022
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition
  ☆20Updated 2 years ago
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆228Updated 2 weeks ago
• teorth / expdb
  Exponent pair database
  ☆57Updated last week
• jbrkr / Category_Theory_Natural_Language_Processing_NLP
  List of papers and other resources at the intersection of Category Theory and NLP.
  ☆53Updated 2 years ago
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆104Updated last month
• microsoft / qsharp-language
  Official repository for design of the quantum programming language Q# and its core libraries
  ☆241Updated last year
• zxcalc / pyzx
  Python library for quantum circuit rewriting and optimisation using the ZX-calculus
  ☆433Updated last week
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆20Updated 7 months ago
• LogicalContracts / LogicalEnglish
  ☆33Updated this week
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆105Updated 4 months ago
• SheafificationOfG / BoolosBrewery
  You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
  ☆56Updated 7 months ago
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆51Updated 3 years ago
• FormalizedFormalLogic / Foundation
  Formalization of Mathematical Logic
  ☆131Updated this week
• sr-lab / coqpyt
  Python client for coq-lsp
  ☆38Updated last month
• leanprover-community / lean4web
  The Lean 4 web editor
  ☆95Updated last week