Alternatives and similar repositories for dbn_upper_bound:

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

• b-mehta / exponential-ramsey
  ☆13Updated last year
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆118Updated 6 months ago
• automorphic-project / automorphic-project
  All the math/tex files for the Automorphic Project
  ☆18Updated 8 months ago
• PeterScholze / Analytic
  lecture notes for Analytic Geometry course
  ☆11Updated 3 years ago
• jeffreyadams / atlasofliegroups
  Automatically exported from code.google.com/p/atlasofliegroups
  ☆32Updated this week
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆41Updated 3 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆90Updated 5 months ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆186Updated 11 months ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆44Updated 2 years ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆37Updated this week
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆142Updated last week
• agentultra / lean-for-hackers
  ☆19Updated last year
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆142Updated last month
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 2 months ago
• ai4reason / ATP_Proofs
  Interesting ATP Proofs
  ☆13Updated 3 years ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• hamousavi / Walnut
  Automated Theorem Prover for Automatic Words
  ☆21Updated 3 years ago
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• b-mehta / unit-fractions
  ☆14Updated last year
• leanprover-community / mathzoo
  Lean mathzoo
  ☆24Updated 2 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆42Updated 4 years ago
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆121Updated 4 months ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆152Updated 8 months ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆114Updated 8 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 6 months ago
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆169Updated 3 months ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆36Updated 10 years ago