Alternatives and similar repositories for erdos-bacon-sabbath:

Users that are interested in erdos-bacon-sabbath are comparing it to the libraries listed below

• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆52Updated last week
• christian-oudard / ithkuil
  Tools for the grammar and writing system of the Ithkuil constructed language
  ☆27Updated last year
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆56Updated last month
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• probonto / ontology
  ☆15Updated last year
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 4 months ago
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 6 years ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• sebasguts / jupyter_kernel_singular
  Jupyter wrapper kernel for singular
  ☆10Updated 9 months ago
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆25Updated this week
• mekarpeles / math.mx
  A comprehensive graph of mathematical domains and topics
  ☆21Updated 3 years ago
• rzach / sets-logic-computation
  Textbook on metalogic based on the Open Logic Project
  ☆38Updated last year
• otherjoel / vim-pollen
  ⌨️🌼 Syntax highlighting for Pollen (a Racket language)
  ☆17Updated 5 years ago
• Quelklef / mathsproofbot
  Writing proofs to Twitter since April 2020
  ☆11Updated 2 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆48Updated last month
• ickc / pandoc-amsthm
  provide a syntax to use amsthm environments in pandoc, with output in LaTeX and HTML
  ☆22Updated 3 years ago
• JensNevens / Prolog-Scheduling-Problem
  A Scheduling Problem in Prolog
  ☆12Updated 9 years ago
• otherjoel / bookcover
  📘⌨️ A Racket #lang and module for making cover PDFs for printed things.
  ☆22Updated 2 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆33Updated last year
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• executablebooks / sphinx-proof
  A Sphinx extension for producing proof, theorem, lemma, definition, remark, conjecture, corollary and algorithm directives.
  ☆35Updated this week
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆25Updated last year
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆23Updated 6 years ago
• wilcoxjay / coq-lit
  Literate coq blog posts
  ☆17Updated 9 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆59Updated 4 months ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 4 months ago