Alternatives and similar repositories for msc-thesis

Users that are interested in msc-thesis are comparing it to the libraries listed below

• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆71Updated last week
• m4lvin / tablean
  Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.
  ☆13Updated last year
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 3 weeks ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆21Updated 6 months ago
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last week
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆24Updated 3 years ago
• leanprover-community / plausible
  ☆46Updated last week
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• leanprover / reservoir
  Package registry for Lean/Lake.
  ☆18Updated last month
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 3 months ago
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆18Updated last week
• IPDSnelting / tba-2022
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition
  ☆19Updated 2 years ago
• leanprover / doc-gen4
  Document Generator for Lean 4
  ☆95Updated this week
• rzk-lang / sHoTT
  Formalisations for simplicial HoTT and synthetic ∞-categories.
  ☆49Updated 8 months ago
• Ja1941 / hilberts-axioms
  ☆10Updated 3 years ago
• leanprover-community / doc-gen
  Generate HTML documentation for mathlib and Lean
  ☆21Updated 8 months ago
• alexjbest / leaff
  Leaff is a diff tool for Lean environments
  ☆16Updated 4 months ago
• leanprover / functional_programming_in_lean
  A book about functional programming in Lean
  ☆40Updated last year
• madvorak / lean4-cheatsheet
  Printable (A4) overview of tactics in Lean 4 for beginners
  ☆24Updated 8 months ago
• ncatlab / nlab-content-html
  A file-based mirror of the nLab wiki (HTML format).
  ☆24Updated this week
• leanprover / lake
  **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
  ☆99Updated last year
• uds-psl / coq-library-complexity
  ☆31Updated last year
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆113Updated 2 years ago
• T-Brick / lean-wasm
  Formalising the WASM spec in Lean
  ☆23Updated 11 months ago
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆25Updated this week
• siddhartha-gadgil / Saturn
  Experiments with SAT solvers with proofs in Lean 4
  ☆57Updated 11 months ago
• leanprover / leansat
  This package provides an interface and foundation for verified SAT reasoning
  ☆52Updated 9 months ago
• ammkrn / nanoda_lib
  Library implementing type inference/checking functionality based on the Lean theorem prover
  ☆65Updated this week
• xubaiw / Socket.lean
  A toy implementation of socket programming for Lean 4.
  ☆27Updated 2 years ago