Quelklef / mathsproofbot

Related projects ⓘ

Alternatives and complementary repositories for mathsproofbot

• mscroggs / Logic-Bot
  @mathslogicbot
  ☆20Updated last year
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆55Updated last month
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆34Updated 7 months ago
• SIGPLAN / SIGPLAN.github.io
  SIGPLAN website
  ☆10Updated this week
• AlgebraicJulia / ModelExploration.jl
  Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
  ☆11Updated last year
• b-mehta / combinatorics
  ☆21Updated 2 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆12Updated this week
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 3 years ago
• IPDSnelting / tba-2021
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
  ☆50Updated 3 years ago
• peterlefanulumsdaine / Oberwolfach-explorations
  collaboration on work in progress
  ☆15Updated 13 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated 10 months ago
• andrejbauer / mathematical-stories
  Mathematical stories
  ☆13Updated 3 years ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆27Updated 11 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆15Updated 2 years ago
• sinhp / ProofLab
  ☆8Updated last year
• nfzhou / lp-contest
  ☆10Updated last month
• leanprover-community / mathlib-tools
  Development tools for https://github.com/leanprover-community/mathlib
  ☆33Updated last year
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆58Updated 4 years ago
• pi-base / data
  A community database of topological counterexamples
  ☆72Updated this week
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 2 weeks ago
• coq-community / apery
  A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]
  ☆19Updated this week
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆57Updated last week
• gap-system / homebrew-gap
  Homebrew tap for GAP
  ☆14Updated 5 months ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆42Updated 4 years ago
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆58Updated last year
• leanprover / lean4export
  Plain-text declaration export for Lean 4
  ☆12Updated last month
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆26Updated last week
• danelahman / lograc-2022
  Git repository for the course Logika v računalništvu
  ☆11Updated 2 years ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆63Updated last year
• MarcdeFalco / MarcdeFalco.github.io
  ☆0Updated last year