Alternatives and similar repositories for msc-thesis

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

• leanprover / lean-client-js
  ☆38Updated 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆35Updated 5 months ago
• s-zeng / dhall-python
  Python bindings for dhall, a functional configuration language
  ☆48Updated 10 months ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated last year
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 4 months ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆116Updated 3 years ago
• owo-lang / narc-rs
  (WIP) Dependently-typed programming language with Agda style dependent pattern matching
  ☆80Updated 5 years ago
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆54Updated last month
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• leanprover / lake
  **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
  ☆100Updated last year
• ncatlab / nlab-content-html
  A file-based mirror of the nLab wiki (HTML format).
  ☆25Updated this week
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆61Updated last year
• leanprover / vscode-lean
  Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…
  ☆116Updated 6 months ago
• Storyyeller / IntercalScript
  The IntercalScript programming language
  ☆139Updated 5 years ago
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆63Updated 11 months ago
• wilbowma / pl-thesaurus
  ☆89Updated 4 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated 2 months ago
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆60Updated 4 years ago
• standardml / twelf
  The Twelf Programming Language
  ☆145Updated last week
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆64Updated last year
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆75Updated last month
• LPTK / simple-sub
  Alternative algorithm for algebraic subtyping.
  ☆170Updated 3 weeks ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 4 months ago
• IPDSnelting / tba-2021
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
  ☆51Updated 4 years ago
• math-comp / hierarchy-builder
  High level commands to declare a hierarchy based on packed classes
  ☆102Updated last week
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆114Updated this week
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆60Updated 3 months ago