ionathanch / msc-thesis

Related projects ⓘ

Alternatives and complementary repositories for msc-thesis

• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated last week
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated 11 months ago
• IPDSnelting / velcom
  Continuous benchmarking
  ☆14Updated 5 months ago
• agentultra / lean-for-hackers
  ☆19Updated last year
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆53Updated 6 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆27Updated 2 weeks ago
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆38Updated 3 weeks ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆61Updated 9 months ago
• math-comp / hierarchy-builder
  High level commands to declare a hierarchy based on packed classes
  ☆97Updated last week
• nomeata / loogle
  Mathlib search tool
  ☆62Updated this week
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆72Updated last month
• leanprover / lean4-cli
  A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
  ☆69Updated last week
• leanprover-community / doc-gen
  Generate HTML documentation for mathlib and Lean
  ☆21Updated last month
• leanprover / leansat
  This package provides an interface and foundation for verified SAT reasoning
  ☆49Updated 2 months ago
• mo271 / FormalBook
  Formalizing "Proofs from THE BOOK"
  ☆53Updated this week
• m4lvin / tablean
  Tableau for basic modal logic in Lean 3
  ☆13Updated last year
• mikeshulman / narya
  A proof assistant for higher-dimensional type theory
  ☆146Updated this week
• alexjbest / leaff
  Leaff is a diff tool for Lean environments
  ☆15Updated 2 months ago
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆58Updated 3 years ago
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆15Updated 2 months ago
• fgdorais / lean4-parser
  Parser Combinator Library for Lean 4
  ☆34Updated last week
• naproche / naproche
  Write formal proofs in natural language and LaTeX.
  ☆32Updated 2 weeks ago
• FormalSAT / trestle
  ☆18Updated 2 months ago
• leanprover / functional_programming_in_lean
  A book about functional programming in Lean
  ☆39Updated 9 months ago
• digama0 / lean4lean
  Lean 4 kernel / 'external checker' written in Lean 4
  ☆72Updated last week
• leanprover / lake
  **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
  ☆97Updated last year
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆31Updated 3 years ago
• pandaman64 / lean-regex
  ☆18Updated last month
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated 3 weeks ago
• ammkrn / nanoda_lib
  Library implementing type inference/checking functionality based on the Lean theorem prover
  ☆38Updated 4 months ago