Alternatives and similar repositories for msc-thesis

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

• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 2 months ago
• 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
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆72Updated last month
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated 10 months ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated 10 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆114Updated last year
• IPDSnelting / tba-2021
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
  ☆51Updated 4 years ago
• ncatlab / nlab
  Source code for the nLab
  ☆178Updated 4 months ago
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 5 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated last month
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• leanprover-community / doc-gen
  Generate HTML documentation for mathlib and Lean
  ☆21Updated 9 months ago
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated last year
• leanprover / lake
  **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
  ☆99Updated last year
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆82Updated 2 months ago
• imdea-software / htt
  Hoare Type Theory
  ☆77Updated last month
• digama0 / mm0
  Metamath Zero specification language
  ☆346Updated 2 weeks ago
• wo / tpg
  Tree Proof Generator
  ☆170Updated 4 months ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆19Updated 2 weeks ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆44Updated last year
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆60Updated 4 years ago
• leanprover / vscode-lean4
  Visual Studio Code extension for the Lean 4 proof assistant
  ☆220Updated 3 weeks ago
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆105Updated 5 months ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆129Updated last year
• dwrensha / tryAtEachStep
  Try a tactic at each step in a Lean proof.
  ☆29Updated 2 weeks ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆42Updated 3 years ago
• madvorak / grammars
  Formal grammars in Lean 3
  ☆8Updated last year
• leanprover / verso
  Lean documentation authoring tool
  ☆189Updated this week