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
  ☆173Updated 8 months ago
• ncatlab / nlab
  Source code for the nLab
  ☆189Updated 7 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆123Updated last year
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆280Updated last month
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆306Updated 10 months ago
• leanprover-community / tutorials
  Some Lean tutorials
  ☆183Updated 2 years ago
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆271Updated 11 months ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆208Updated last year
• madvorak / lean4-tactics
  Overview of tactics in Lean 4 for beginners — longer version
  ☆97Updated 4 months ago
• leanprover-community / lean4web
  The Lean 4 web editor
  ☆113Updated last month
• bojanczyk / slajdomat
  A program for making zooming slides in figma.
  ☆39Updated 4 months ago
• zawagner22 / cross-entropy-for-combinatorics
  Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".
  ☆57Updated 4 years ago
• nomeata / loogle
  Mathlib search tool
  ☆106Updated last week
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆68Updated 2 years ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆129Updated 2 months ago
• ruc-ai4math / Premise-Retrieval
  ☆17Updated 9 months ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆106Updated 9 months ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆414Updated 2 years ago
• rzk-lang / rzk
  An experimental proof assistant based on a type theory for synthetic ∞-categories.
  ☆249Updated 2 months ago
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆83Updated 2 years ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆229Updated 8 months ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆50Updated last year
• FraLotito / higher-order-motifs
  Code for the paper "Higher-order motif analysis in hypergraphs"
  ☆32Updated 3 years ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆127Updated last year
• UniMath / agda-unimath
  The agda-unimath library
  ☆273Updated this week
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆38Updated last year
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆301Updated last year
• reticula-network / reticula
  The general purpose library for analysing static, temporal and hypergraph networks.
  ☆19Updated last month
• vihdzp / combinatorial-games
  Combinatorial game library in Lean 4
  ☆49Updated 2 weeks ago
• lengyijun / goldbach_tm
  Goldbach conjecture = 25-state turing machine
  ☆30Updated 9 months ago