km-git-acc / dbn_upper_bound
Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project
☆13Updated last year
Alternatives and similar repositories for dbn_upper_bound:
Users that are interested in dbn_upper_bound are comparing it to the libraries listed below
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- Perfectoid spaces in the Lean formal theorem prover.☆118Updated 8 months ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Formalization of the existence of sphere eversions☆39Updated 2 weeks ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 8 months ago
- GLUT Kleinian group visualizer☆26Updated 11 years ago
- All the math/tex files for the Automorphic Project☆18Updated 10 months ago
- 💧 Liquid Tensor Experiment☆189Updated last year
- Stalin∇, a brutally optimizing compiler for the VLAD language☆75Updated 7 years ago
- metamath proof enumerators and other things☆93Updated 8 months ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆54Updated 10 years ago
- ☆23Updated 2 years ago
- IMO Grand Challenge for Artificial Intelligence☆44Updated 3 years ago
- Formalizing results about the Mandelbrot set in Lean☆20Updated 4 months ago
- ☆15Updated last year
- Course notes for Pure Mathematics Topic D 2019☆53Updated 4 years ago
- ☆16Updated 4 years ago
- Metamath verifier in Python☆38Updated 11 months ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆27Updated 3 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Theorem proving in Lean☆49Updated 5 months ago
- Program Generator for Small-Scale Linear Algebra Applications☆29Updated 6 years ago
- Formalizing convex polyhedra in Coq☆23Updated 8 months ago
- Python Bindings to the Lean Theorem Prover http://leanprover.github.io/☆13Updated 7 years ago
- Source of metamath book☆48Updated last year
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 5 years ago