Alternatives and similar repositories for LPL-solutions

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

• carlosantq / LPL
  📚Solutions to Language, Proof and Logic (2nd Edition)
  ☆21Updated 4 years ago
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆47Updated 3 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆38Updated this week
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 2 weeks ago
• lillo / compiler-course-unipi
  Lab of the course Languages, Compilers and Interpreters (Cod. 653AA) @ UNIPI
  ☆35Updated 2 years ago
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆51Updated last year
• dcernst / IBL-IntroToProof
  A textbook for the transition to proof course for mathematics majors utilizing IBL.
  ☆45Updated 2 months ago
• AllAlgorithms / haskell
  Implementation of All ▲lgorithms in Haskell Programming Language
  ☆47Updated 3 years ago
• clarksmr / sf-lectures
  Software Foundations
  ☆129Updated last year
• fredfeng / CS162
  Programming languages
  ☆38Updated 3 months ago
• leanprover / logic_and_proof_lean3
  CMU Undergrad Course
  ☆96Updated 2 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆82Updated last month
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆108Updated this week
• 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
• brianquinlan / brainfuck-jit
  A simple Brainfuck JIT written as a learning exercise.
  ☆16Updated 5 years ago
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆104Updated 4 months ago
• Spookiel / British-Informatics-Olympiad-Solutions
  Contains python solutions for the British Informatics olympiad
  ☆22Updated last year
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated 9 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated 11 months ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆42Updated 3 years ago
• UniMath / Schools
  ☆86Updated 2 months ago
• benburrill / halt_is_defeat
  Time-traveling C-like programming language for the Sphinx architecture
  ☆16Updated 2 months ago
• rzach / incompleteness-computability
  Textbook on Gödel's incompleteness theorems and computability theory
  ☆20Updated this week
• Mzk-Levi / texts
  ☆157Updated 10 years ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆48Updated 3 weeks ago
• dtonhofer / prolog_notes
  Some notes taken while working on Prolog
  ☆186Updated last year
• Dyalog / ride
  Cross-platform IDE for Dyalog APL
  ☆216Updated last week
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆296Updated last year
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆91Updated 7 months ago