pbelmans / hodge-diamond-cutterLinks
Compute and manipulate Hodge diamonds for many classes of smooth projective varieties
☆11Updated last month
Alternatives and similar repositories for hodge-diamond-cutter
Users that are interested in hodge-diamond-cutter are comparing it to the libraries listed below
Sorting:
- Formalizing results about the Mandelbrot set in Lean☆26Updated this week
- All the math/tex files for the Automorphic Project☆19Updated last year
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Updated 6 years ago
- Conservative floating point interval arithmetic in Lean☆22Updated 3 weeks ago
- Lean mathzoo☆25Updated 3 years ago
- Formalization of the existence of sphere eversions☆43Updated this week
- ☆15Updated last year
- A formal proof of an exponentially better upper bound on Ramsey numbers☆17Updated last year
- Aeon programming language☆21Updated last week
- ☆11Updated last year
- ☆22Updated last year
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆13Updated 2 years ago
- Python talking to the Lean theorem prover☆46Updated 4 years ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆121Updated last year
- Lean 3 web editor☆13Updated last year
- ☆11Updated last year
- Generate HTML documentation for mathlib and Lean☆21Updated last year
- ☆10Updated this week
- Convex optimization modeling in Lean 4☆55Updated last year
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆189Updated last month
- Interactive neural theorem proving in Lean☆130Updated 3 years ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆21Updated 2 months ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆28Updated 12 years ago
- A formalization of the Rubik's cube group☆27Updated 5 years ago
- 💧 Liquid Tensor Experiment☆207Updated last year
- ☆25Updated 4 years ago
- Lean for the Curious Mathematician 2020☆67Updated last year
- A simple REPL for Lean 4, returning information about errors and sorries.☆11Updated 2 years ago
- Perfectoid spaces in the Lean formal theorem prover.☆127Updated last year