dasarpmar / lowerbounds-survey
A survey of known lower bounds in arithmetic circuits.
☆30Updated 3 years ago
Alternatives and similar repositories for lowerbounds-survey
Users that are interested in lowerbounds-survey are comparing it to the libraries listed below
Sorting:
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- All the math/tex files for the Automorphic Project☆18Updated last year
- M4GB: Efficient Groebner Basis algorithm☆55Updated 6 years ago
- Proof assistant for qRHL☆21Updated 3 weeks ago
- Algebra Number Theory book☆48Updated 3 years ago
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated last year
- Tag-based webview of LaTeX documents☆28Updated last year
- Theory of Computing Report☆12Updated 7 months ago
- Lecture notes from Cambridge maths☆68Updated last year
- 💧 Liquid Tensor Experiment☆194Updated last year
- Formalization of the existence of sphere eversions☆40Updated this week
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆47Updated 3 years ago
- A foundational framework for modular cryptographic proofs in Coq☆64Updated last week
- A formal proof of the independence of the continuum hypothesis☆124Updated 8 months ago
- Prime numbers for Coq☆37Updated 4 months ago
- C++ library for semigroups and monoids☆47Updated last week
- A Lean file formatter☆67Updated 2 years ago
- A library of mechanised undecidability proofs in the Coq proof assistant.☆117Updated last month
- The standard template to create a lean game☆24Updated 2 months ago
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆75Updated 3 months ago
- Code samples for Lean 4☆75Updated last year
- Emacs mode for Lean☆70Updated last year
- A computer algebra system for research in combinatorial game theory☆40Updated last year
- CertiCrypt Coq Framework☆35Updated 9 years ago
- ☆64Updated 2 years ago
- some maths papers in English☆18Updated last month
- A quantum circuit language and formal verification tool☆103Updated this week
- Kan: A browser extension for reading nLab☆26Updated 6 years ago