holgerdell / color-refinementLinks
A visual demo of the color refinement algorithm
☆17Updated 9 months ago
Alternatives and similar repositories for color-refinement
Users that are interested in color-refinement are comparing it to the libraries listed below
Sorting:
- Tree Proof Generator☆177Updated 3 weeks ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- Some Lean tutorials☆183Updated 2 years ago
- LaTeX Styles provided by Dagstuhl Publishing☆40Updated last year
- Write LaTeX theorems in Pandoc Markdown☆74Updated 2 years ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆61Updated 2 months ago
- Metamath source file for logic and set theory☆302Updated this week
- Source code for the nLab☆201Updated 10 months ago
- A wiki for collaborative work on totally legitimate "category theory"☆132Updated last year
- A Lean file formatter☆71Updated 3 years ago
- Very controlled natural language tactics for Lean☆66Updated 2 years ago
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆91Updated 8 months ago
- 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
- CNF generator in DIMACS format. It produces common families of CNFs.☆70Updated 6 months ago
- 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
- An introduction to theorem proving in Lean for the impatient.☆329Updated this week
- maze game encoded in Lean 4 syntax☆68Updated 7 months ago
- Jupyter kernel for Coq☆95Updated last year
- A formalization of geometry in Coq based on Tarski's axiom system☆204Updated 2 months ago
- ☆94Updated 9 months ago
- Lean for the Curious Mathematician 2020☆68Updated 2 years ago
- A program for making zooming slides in figma.☆41Updated 7 months ago
- Python implementations of approval-based committee (multi-winner) voting rules☆43Updated last week
- A gamification of the theorems in MATH40002 Analysis 1☆83Updated 3 years ago
- Logic and Mechanized Reasoning☆115Updated last month
- A place to put our 2018 Xena project UROP thoughts and programs.☆26Updated 5 years ago
- Goldbach conjecture = 25-state turing machine☆36Updated last year
- Tim Button's open textbook on set theory☆41Updated 7 months ago
- LaTeX package for automatically putting proof environments in appendix☆30Updated 3 weeks ago
- Agda as a collaborative multiplayer game☆38Updated last year