Alternatives and similar repositories for color-refinement

Users that are interested in color-refinement are comparing it to the libraries listed below

• wo / tpg
  Tree Proof Generator
  ☆177Updated 3 weeks ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• leanprover-community / tutorials
  Some Lean tutorials
  ☆183Updated 2 years ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆40Updated last year
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆74Updated 2 years ago
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆61Updated 2 months ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆302Updated this week
• ncatlab / nlab
  Source code for the nLab
  ☆201Updated 10 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆132Updated last year
• leanprover-community / format_lean
  A Lean file formatter
  ☆71Updated 3 years ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆66Updated 2 years ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆91Updated 8 months ago
• m4lvin / tablean
  Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.
  ☆13Updated 2 years ago
• MassimoLauria / cnfgen
  CNF generator in DIMACS format. It produces common families of CNFs.
  ☆70Updated 6 months ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆133Updated 5 months ago
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆329Updated this week
• dwrensha / lean4-maze
  maze game encoded in Lean 4 syntax
  ☆68Updated 7 months ago
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆204Updated 2 months ago
• UniMath / Schools
  ☆94Updated 9 months ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆68Updated 2 years ago
• bojanczyk / slajdomat
  A program for making zooming slides in figma.
  ☆41Updated 7 months ago
• martinlackner / abcvoting
  Python implementations of approval-based committee (multi-winner) voting rules
  ☆43Updated last week
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆83Updated 3 years ago
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆115Updated last month
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆26Updated 5 years ago
• lengyijun / goldbach_tm
  Goldbach conjecture = 25-state turing machine
  ☆36Updated last year
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆41Updated 7 months ago
• PierreSenellart / apxproof
  LaTeX package for automatically putting proof environments in appendix
  ☆30Updated 3 weeks ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆38Updated last year