Alternatives and similar repositories for proofofconcept:

Users that are interested in proofofconcept are comparing it to the libraries listed below

• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• finsberg / category-theory-python
  Learning platform for category theory in python
  ☆16Updated this week
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 3 months ago
• metamath / metamath-book
  Source of metamath book
  ☆47Updated last year
• alexpatel / lean-modal
  modal logic library for LEAN theorem prover
  ☆11Updated 7 years ago
• emptymalei / statisticalphysics
  open source E-book on statistical physics
  ☆44Updated last year
• IBM / datascienceontology
  Data Science Ontology
  ☆36Updated 5 months ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 3 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 8 months ago
• sagemath / more-sagemath-tutorials
  More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage
  ☆32Updated last year
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated 2 weeks ago
• MartyWeissman / Python-for-number-theory
  A series of introductory instructional python notebooks, for computational number theory.
  ☆14Updated 7 years ago
• ATOMSLab / LeanChemicalTheories
  ☆31Updated last year
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 6 years ago
• MathWebSearch / mws
  MathWebSearch Implementation
  ☆48Updated 2 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated 2 weeks ago
• UACalc / uacalcsrc
  The Universal Algebra Calculator
  ☆14Updated 2 years ago
• robbielynch / ibrainfuck
  A brainfuck kernel for IPython/Jupyter.
  ☆28Updated 9 years ago
• leihuang / infotopo0
  Information geometry and its extension information topology
  ☆10Updated 7 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated this week
• leanprover-community / leancrawler
  An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
  ☆17Updated 11 months ago
• chrisheunen / freetikz
  FreeTikZ
  ☆37Updated 7 years ago
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆17Updated 5 years ago
• probonto / ontology
  ☆15Updated last year