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
  ☆36Updated 9 months ago
• finsberg / category-theory-python
  Learning platform for category theory in python
  ☆16Updated this week
• ATOMSLab / LeanChemicalTheories
  ☆29Updated 10 months ago
• IBM / datascienceontology
  Data Science Ontology
  ☆36Updated 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
• robbielynch / ibrainfuck
  A brainfuck kernel for IPython/Jupyter.
  ☆28Updated 9 years ago
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆19Updated last month
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 2 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆57Updated 2 months ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆51Updated last week
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆19Updated this week
• leanprover-community / leancrawler
  An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
  ☆17Updated 9 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 6 months ago
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• alexpatel / lean-modal
  modal logic library for LEAN theorem prover
  ☆10Updated 7 years ago
• UACalc / uacalcsrc
  The Universal Algebra Calculator
  ☆14Updated 2 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆42Updated 4 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last month
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆16Updated 2 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 11 years ago
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆94Updated 4 months ago
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆28Updated 6 months ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• sagemath / sage-binder-env
  A Binder repo for SageMath computing environment
  ☆27Updated this week
• Quelklef / mathsproofbot
  Writing proofs to Twitter since April 2020
  ☆11Updated 2 years ago
• AlgebraicJulia / ModelExploration.jl
  Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
  ☆12Updated last year
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆52Updated last year