Alternatives and similar repositories for erdos-guy-selfridge:

Users that are interested in erdos-guy-selfridge are comparing it to the libraries listed below

• Splines / lean-continuous
  Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
  ☆14Updated 8 months ago
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆26Updated 9 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 2 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆69Updated last week
• FlorianAdler / AlgebraBonn
  Lecture Notes for Algebra Lectures at the University of Bonn
  ☆12Updated 7 months ago
• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated 9 months ago
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆52Updated this week
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆22Updated this week
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆13Updated 3 months ago
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated last year
• digama0 / lean-rs
  High level Lean 4 FFI for Rust
  ☆13Updated last year
• SchrodingerZhu / LeanGccBackend
  Lean4 backend using `libgccjit`!
  ☆11Updated last year
• extism / lean4-sdk
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆18Updated 4 months ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• vihdzp / rubik-lean4
  Lean 4 formalization of Rubik's cubes
  ☆30Updated 2 months ago
• matjp / dvi-decode
  Decode DVI files generated by LuaTeX
  ☆10Updated last year
• argumentcomputer / RustFFI.lean
  Template for Lean<->Rust FFI
  ☆12Updated last year
• thosgood / hodge-theory
  An English translation of Deligne's three "Hodge theory" papers
  ☆11Updated this week
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆50Updated 2 years ago
• teorth / symmetric_project
  ☆86Updated last year
• lf- / typst-algorithmic
  Algorithm pseudocode typesetting library for Typst
  ☆21Updated last year
• leanprover-community / import-graph
  Tool to analyse the import structure of lean projects.
  ☆11Updated last week
• digama0 / mizar-rs
  Alternative Mizar proof checker (http://mizar.org/) written in Rust
  ☆51Updated 8 months ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 4 years ago
• teorth / newton
  ☆10Updated last year
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆22Updated 2 weeks ago
• Ja1941 / hilberts-axioms
  ☆10Updated 3 years ago
• ammkrn / timelib
  A date and time library for Lean 4
  ☆12Updated last week