Alternatives and similar repositories for LPL-solutions:

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

• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆97Updated 2 months ago
• SatyendraBanjare / plt-formal-methods-resources
  Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…
  ☆55Updated 5 years ago
• jsiek / B522-PL-Foundations
  Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
  ☆53Updated 4 years ago
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆158Updated 7 months ago
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆41Updated 3 years ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆36Updated last year
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆11Updated 8 months ago
• proof-tree-builder / proof-tree-builder.github.io
  A web-based graphical proof assistant for LK and Hoare logic.
  ☆34Updated 2 years ago
• leanprover / verso
  Lean documentation authoring tool
  ☆132Updated this week
• clarksmr / sf-lectures
  Software Foundations
  ☆118Updated 8 months ago
• wo / tpg
  Tree Proof Generator
  ☆157Updated 2 months ago
• alexpatel / lean-modal
  modal logic library for LEAN theorem prover
  ☆10Updated 7 years ago
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆93Updated last week
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆28Updated last year
• imdea-software / htt
  Hoare Type Theory
  ☆70Updated this week
• coq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆34Updated last month
• ryukinix / discrete-mathematics
  A computational way to study discrete mathematics using Haskell
  ☆72Updated 5 years ago
• math-comp / mcb
  Mathematical Components (the Book)
  ☆141Updated last year
• coq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆57Updated 10 months ago
• jirilebl / ca
  Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis
  ☆10Updated 2 months ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆80Updated this week
• CertiCoq / VeriFFI
  VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …
  ☆40Updated 2 weeks ago
• IPDSnelting / tba-2022
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition
  ☆19Updated 2 years ago
• Mzk-Levi / texts
  ☆145Updated 9 years ago
• proglang / FunctionalProgramming
  Support repository for the functional programming lecture (Haskell)
  ☆16Updated this week
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆51Updated 4 months ago
• choukh / CategoryTheory
  A Coq formalization of the textbook Categories and Toposes: Visualized and Explained
  ☆19Updated 2 years ago
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆39Updated last year
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆140Updated 2 weeks ago