dasarpmar / lowerbounds-surveyLinks
A survey of known lower bounds in arithmetic circuits.
☆32Updated 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/☆28Updated 12 years ago
- A foundational framework for modular cryptographic proofs in Coq☆67Updated last week
- All the math/tex files for the Automorphic Project☆19Updated last year
- EasyCrypt: Computer-Aided Cryptographic Proofs☆366Updated last week
- 💧 Liquid Tensor Experiment☆206Updated last year
- Lecture notes from Cambridge maths☆71Updated last year
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 10 months 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
- Perfectoid spaces in the Lean formal theorem prover.☆127Updated last year
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆218Updated 3 months ago
- Multi platform setup for Coq, Coq libraries and tools☆211Updated this week
- Language for high-assurance and high-speed cryptography☆309Updated last week
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- Mathematical Components compliant Analysis Library☆225Updated last week
- Communication between Coq and SAT/SMT solvers☆160Updated last week
- Formalizing convex polyhedra in Coq☆24Updated last year
- Source code for the nLab☆187Updated 6 months ago
- CertiCrypt Coq Framework☆35Updated 9 years ago
- A Lean file formatter☆69Updated 2 years ago
- Lean Library currently studying for a degree at Imperial College☆228Updated 7 months ago
- Proof assistant for qRHL☆22Updated last month
- A collection of tools for writing technical documents that mix Coq code and prose.☆272Updated 2 weeks ago
- A digital archive of category theory papers.☆32Updated 2 months ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆112Updated 2 years ago
- The formal proof of the Kepler conjecture☆163Updated last year
- A LaTeX Typesetting Game☆256Updated 6 months ago
- Coq code formatter☆23Updated this week
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆17Updated 3 years ago
- A formal proof of the independence of the continuum hypothesis☆133Updated last year
- A Verified Compiler for Gallina, Written in Gallina☆154Updated 2 months ago