Alternatives and similar repositories for lean-matroids

Users that are interested in lean-matroids are comparing it to the libraries listed below

• leanprover-community / doc-gen
  Generate HTML documentation for mathlib and Lean
  ☆21Updated 8 months ago
• leanprover / lean4export
  Plain-text declaration export for Lean 4
  ☆17Updated 2 weeks ago
• gebner / m17n-lean
  System-wide Lean input method
  ☆12Updated 3 years ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• kendfrey / rubiks-cube-group
  A formalization of the Rubik's cube group
  ☆27Updated 4 years ago
• mirefek / sokoban.lean
  Sokoban implementation in lean for proving solvability / unsolvability
  ☆13Updated 4 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆21Updated 7 months ago
• arthurpaulino / LeanREPL
  ☆12Updated 2 years ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• rwbarton / advent-of-lean-4
  Advent of Code 2020 solutions in Lean 4
  ☆26Updated 4 years ago
• 0art0 / lean-slides
  A tool to auto-generate and render slides from Markdown comments in the Lean editor.
  ☆18Updated this week
• leanprover-community / leancrawler
  An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
  ☆17Updated last year
• uds-psl / coq-library-complexity
  ☆31Updated last year
• dselsam / binport
  A tool for building Lean4 .olean files from Lean3 export data
  ☆10Updated 3 years ago
• nomeata / lean-calcify
  ☆32Updated last week
• vihdzp / rubik-lean4
  Lean 4 formalization of Rubik's cubes
  ☆31Updated 4 months ago
• leanprover-community / import-graph
  Tool to analyse the import structure of lean projects.
  ☆14Updated 2 weeks ago
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆44Updated 4 years ago
• Julian / lftim
  Mathematical learnings with Lean, for those of us who wish we knew more of both!
  ☆10Updated 2 years ago
• alexjbest / leaff
  Leaff is a diff tool for Lean environments
  ☆17Updated 5 months ago
• awodey / joyal
  ☆15Updated last year
• leanprover / functional_programming_in_lean
  A book about functional programming in Lean
  ☆42Updated last year
• sgraf812 / mpl
  A prototype for a monadic program logic in Lean
  ☆33Updated last week
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• lecopivo / lean4-karray
  ☆13Updated 3 years ago
• girving / interval
  Conservative floating point interval arithmetic in Lean
  ☆17Updated last month
• argumentcomputer / RustFFI.lean
  Template for Lean<->Rust FFI
  ☆12Updated last year
• proost-assistant / ProostLean
  An reimplementation of the Proost proof-assistant written in Lean 4
  ☆12Updated last year
• ccodel / verified-encodings
  Verifying encodings into propositional logic in Lean
  ☆12Updated last year