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
  ☆73Updated 2 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆34Updated 3 months ago
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆76Updated 11 months ago
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆119Updated last year
• standardml / twelf
  The Twelf Programming Language
  ☆142Updated 2 weeks ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆116Updated 3 years ago
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆110Updated this week
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆85Updated 4 years ago
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆74Updated last week
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆60Updated 2 months ago
• math-comp / hierarchy-builder
  High level commands to declare a hierarchy based on packed classes
  ☆100Updated 2 weeks ago
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆213Updated last week
• T-Brick / c0deine
  Reference compiler for c0
  ☆36Updated 3 months ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆64Updated 10 months ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆84Updated last month
• homotopy-io / homotopy-rs
  A Rust/WASM implementation of homotopy.io
  ☆101Updated this week
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆105Updated last month
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆33Updated 2 years ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆70Updated 6 months ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 5 years ago
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆60Updated 4 years ago
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆35Updated this week
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 2 months ago
• leanprover-community / lean4-samples
  Code samples for Lean 4
  ☆77Updated last year
• leanprover-community / doc-gen
  Generate HTML documentation for mathlib and Lean
  ☆21Updated 11 months ago
• tonyxty / hStacks
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Updated 4 years ago