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:
- All the math/tex files for the Automorphic Project☆19Updated last year
- 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☆69Updated 2 weeks ago
- EasyCrypt: Computer-Aided Cryptographic Proofs☆368Updated last week
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆219Updated last week
- Perfectoid spaces in the Lean formal theorem prover.☆127Updated last year
- 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
- amateur translation project of Grothendieck's EGA.☆364Updated last week
- 💧 Liquid Tensor Experiment☆208Updated last year
- CertiCrypt Coq Framework☆35Updated 9 years ago
- Tag-based webview of LaTeX documents☆31Updated last year
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 11 months ago
- Proof assistant for qRHL☆22Updated 2 months ago
- Formalizing "Proofs from THE BOOK"☆66Updated 3 weeks ago
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆112Updated last year
- A LaTeX Typesetting Game☆258Updated 6 months ago
- Algebra Number Theory book☆48Updated 3 years ago
- Lean Library currently studying for a degree at Imperial College☆229Updated 8 months ago
- Formalization of the existence of sphere eversions☆43Updated last week
- A formal proof of the independence of the continuum hypothesis☆135Updated last year
- A library of mechanised undecidability proofs in the Coq proof assistant.☆124Updated last month
- A collection of tools for writing technical documents that mix Coq code and prose.☆275Updated last month
- Lean for the Curious Mathematician 2020☆67Updated 2 years ago
- The formal proof of the Kepler conjecture☆163Updated last year
- Formalizing convex polyhedra in Coq☆24Updated last year
- Development tools for https://github.com/leanprover-community/mathlib☆33Updated 2 years ago
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…☆116Updated 6 months ago
- A digital archive of category theory papers.☆32Updated last week
- Prime numbers for Coq☆42Updated 3 weeks ago
- A computer algebra system for research in combinatorial game theory☆49Updated last year