bojanczyk / slajdomat

Related projects ⓘ

Alternatives and complementary repositories for slajdomat

• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆61Updated 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 8 months ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆62Updated last year
• IPDSnelting / tba-2021
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
  ☆50Updated 3 years ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆40Updated 3 years ago
• leanprover-community / doc-gen
  Generate HTML documentation for mathlib and Lean
  ☆21Updated last month
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated 8 months ago
• ammkrn / nanoda_lib
  Library implementing type inference/checking functionality based on the Lean theorem prover
  ☆38Updated 4 months ago
• mo271 / FormalBook
  Formalizing "Proofs from THE BOOK"
  ☆53Updated last week
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆63Updated last year
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆16Updated this week
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆30Updated 6 months ago
• leanprover-community / ProofWidgets4
  Helper toolkit for creating your own Lean 4 UserWidgets
  ☆114Updated this week
• leanprover-community / mathport
  Mathport is a tool for porting Lean3 projects to Lean4
  ☆42Updated 2 months ago
• siddhartha-gadgil / Saturn
  Experiments with SAT solvers with proofs in Lean 4
  ☆53Updated 4 months ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆108Updated 2 weeks ago
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆24Updated 2 years ago
• FormalSAT / trestle
  ☆18Updated 2 months ago
• TheoWinterhalter / phd-thesis
  Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.
  ☆32Updated 4 years ago
• digama0 / lean-type-theory
  LaTeX code for a paper on lean's type theory
  ☆119Updated 2 years ago
• JamesGallicchio / LeanColls
  WIP collections library for Lean 4
  ☆30Updated this week
• leanprover-community / lean4web
  The Lean 4 web editor
  ☆68Updated last month
• madvorak / lean4-tactics
  Overview of tactics in Lean 4 for beginners — longer version
  ☆57Updated last month
• leanprover / SampCert
  SampCert : Verified Differential Privacy
  ☆65Updated 2 months ago
• ufmg-smite / lean-smt
  Tactics for discharging Lean goals into SMT solvers.
  ☆102Updated 2 weeks ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆73Updated 11 months ago
• tlringer / proof-demos
  Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic
  ☆38Updated last year
• alexkeizer / QpfTypes
  A WIP definitional (co)datatype package for Lean4
  ☆27Updated last week
• ah1112 / synthetic_euclid_4
  ☆10Updated 8 months ago
• paulaneeley / modal
  ☆14Updated 3 years ago
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆22Updated 2 years ago