oeis / oeisdataLinks
Content of Online Encyclopedia of Integer Sequences (OEIS)
☆99Updated last week
Alternatives and similar repositories for oeisdata
Users that are interested in oeisdata are comparing it to the libraries listed below
Sorting:
- A computer algebra system for research in combinatorial game theory☆48Updated last year
- Python implementation of the monster group☆53Updated this week
- Java implementations of sequences in the OEIS☆66Updated this week
- Metamath source file for logic and set theory☆295Updated this week
- ☆341Updated 2 weeks ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆44Updated 3 weeks ago
- Server to host lean games.☆325Updated 2 weeks ago
- A community database for the problems on the erdosproblems.com site☆81Updated this week
- Exponent pair database☆62Updated last week
- metamath proof enumerators and other things☆94Updated last year
- Busy Beaver deciders backed by Coq proof☆57Updated 7 months ago
- ☆15Updated last year
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆303Updated 10 months ago
- An introduction to theorem proving in Lean for the impatient.☆268Updated 3 weeks ago
- blueprint for prime number theorem and more☆193Updated this week
- ☆24Updated last month
- Mathematical proofs of the bbchallenge project.☆25Updated last month
- Natural Number Game☆224Updated last week
- plasTeX plugin to build formalization blueprints.☆246Updated 3 weeks ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆189Updated last month
- A project to map out the relations between different equational theories of Magmas.☆429Updated last week
- A LaTeX Typesetting Game☆256Updated 6 months ago
- A project to digitalise results from physics into Lean.☆360Updated this week
- 💧 Liquid Tensor Experiment☆206Updated last year
- Catalog Of Math Problems Formalized In Lean☆196Updated this week
- The matrix cookbook, proved in the Lean theorem prover☆121Updated 3 weeks ago
- ☆93Updated last year
- The standard template to create a lean game☆29Updated 2 weeks ago
- SorryDB indexes sorries in public lean repositories☆34Updated this week
- Convergence verification of the Collatz problem☆69Updated 2 weeks ago