holgerdell / color-refinement

Related projects: ⓘ

• bojanczyk / slajdomat
  A program for making zooming slides in figma.
  ☆27Updated last month
• zawagner22 / cross-entropy-for-combinatorics
  Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".
  ☆54Updated 2 years ago
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆28Updated 7 months ago
• leanprover-community / repl
  A simple REPL for Lean 4, returning information about errors and sorries.
  ☆67Updated 2 weeks ago
• ufmg-smite / lean-smt
  Tactics for discharging Lean goals into SMT solvers.
  ☆91Updated last month
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆36Updated 2 weeks ago
• kamel-usp / dpasp
  Differentiable probabilistic answer set programming
  ☆17Updated 3 weeks ago
• siddhartha-gadgil / LeanAide
  Tools based on AI for helping with Lean 4
  ☆62Updated this week
• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆106Updated last month
• BartoszPiotrowski / lean-premise-selection
  ☆21Updated 9 months ago
• PierreSenellart / apxproof
  LaTeX package for automatically putting proof environments in appendix
  ☆23Updated 7 months ago
• pi-base / data
  A community database of topological counterexamples
  ☆72Updated this week
• arquicanedo / graph2sheaves
  Sheaves library for graph abstractions based on NetworkX
  ☆14Updated 5 years ago
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆50Updated 4 months ago
• JiaxuanYou / G2SAT
  G2SAT: Learning to Generate SAT Formulas
  ☆48Updated 4 years ago
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆18Updated 4 months ago
• PACE-challenge / Treewidth
  List of Treewidth solvers, instances, and tools
  ☆32Updated 2 years ago
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated last year
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆92Updated this week
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆60Updated 7 months ago
• sneeuwballen / zipperposition
  An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…
  ☆134Updated 3 months ago
• leanprover-community / lean4web
  The Lean 4 web editor
  ☆63Updated 2 weeks ago
• IPDSnelting / tba-2022
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition
  ☆16Updated 2 years ago
• leanprover-community / flt-regular
  Fermat's Last Theorem for regular primes
  ☆50Updated this week
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆30Updated 11 months ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆31Updated 2 weeks ago
• pdobsan / pynauty
  Isomorphism testing and automorphisms of graphs
  ☆54Updated last week
• fpvandoorn / lean-links
  Links to recourses for the Lean Theorem Prover
  ☆10Updated 4 years ago
• leanprover-community / tutorials4
  Lean 4 tutorial files
  ☆26Updated 4 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 2 months ago