oeis / oeisdataLinks
Content of Online Encyclopedia of Integer Sequences (OEIS)
☆105Updated last week
Alternatives and similar repositories for oeisdata
Users that are interested in oeisdata are comparing it to the libraries listed below
Sorting:
- Metamath source file for logic and set theory☆296Updated last week
- A computer algebra system for research in combinatorial game theory☆50Updated last year
- Exponent pair database☆62Updated last week
- Python implementation of the monster group☆53Updated 3 weeks ago
- Java implementations of sequences in the OEIS☆65Updated this week
- A community database for the problems on the erdosproblems.com site☆98Updated this week
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆44Updated last week
- Server to host lean games.☆330Updated last week
- metamath proof enumerators and other things☆91Updated last week
- blueprint for prime number theorem and more☆198Updated this week
- ☆25Updated last week
- ☆344Updated last month
- An introduction to theorem proving in Lean for the impatient.☆280Updated last month
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆191Updated 2 weeks ago
- 💧 Liquid Tensor Experiment☆208Updated last year
- ☆14Updated last year
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated last year
- Busy Beaver deciders backed by Coq proof☆57Updated 7 months ago
- The standard template to create a lean game☆29Updated last month
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆308Updated 10 months ago
- A project to digitalise results from physics into Lean.☆375Updated this week
- ☆93Updated last year
- A community database of topological counterexamples☆131Updated this week
- Mathematical proofs of the bbchallenge project.☆24Updated last month
- A project to map out the relations between different equational theories of Magmas.☆436Updated last week
- A formalized proof of Carleson's theorem in Lean☆74Updated this week
- A LaTeX Typesetting Game☆258Updated 7 months ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆160Updated last year
- SorryDB indexes sorries in public lean repositories☆37Updated this week
- Natural Number Game☆233Updated last month