Alternatives and similar repositories for LPL-solutions

Users that are interested in LPL-solutions are comparing it to the libraries listed below

• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆81Updated this week
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆55Updated 8 months ago
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• ejgallego / pycoq
  Python bindings for the Coq interactive proof assistant
  ☆54Updated 3 years ago
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆101Updated 3 months ago
• leanprover / logic_and_proof_lean3
  CMU Undergrad Course
  ☆96Updated 2 years ago
• proglang / FunctionalProgramming
  Support repository for the functional programming lecture (Haskell)
  ☆16Updated 3 months ago
• theoremprover-museum / logic-theorist
  The sources of the first theorem prover.
  ☆59Updated 7 years ago
• FormalTheology / GoedelGod
  Formalizations of Gödel's Ontological Proof of God's Existence
  ☆447Updated 6 years ago
• dragonwasrobot / learn-prolog-now-exercises
  My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Strieg…
  ☆291Updated last year
• Girjoaba / Eunomia
  An educational tool for analyzing the correctness of Fitch Proofs.
  ☆9Updated last year
• rocq-prover / vscoq
  Visual Studio Code extension for Coq
  ☆380Updated 3 weeks ago
• eprover / eprover
  ☆141Updated last week
• erohkohl / mlsolver
  Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
  ☆62Updated 7 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 9 months ago
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆11Updated last year
• choukh / CategoryTheory
  A Coq formalization of the textbook Categories and Toposes: Visualized and Explained
  ☆20Updated 2 years ago
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆55Updated 2 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated this week
• leanprover / leanprover.github.io
  www
  ☆16Updated last year
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated 8 months ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆85Updated last week
• arielsilveira / ModalLibrary
  Modal Logic Library in Coq
  ☆15Updated 3 years ago
• sneeuwballen / zipperposition
  An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…
  ☆141Updated 7 months ago
• vladimirias / old_notes_on_type_systems
  Voevodsky's notes on type systems. This version contains more material than the one on his website.
  ☆11Updated 10 years ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆92Updated 4 months ago
• ltworf / relational
  Educational tool for relational algebra
  ☆91Updated last year
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆51Updated last year
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆171Updated 2 weeks ago
• rocq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆166Updated last week