oeis / oeisdataLinks
Content of Online Encyclopedia of Integer Sequences (OEIS)
☆92Updated this week
Alternatives and similar repositories for oeisdata
Users that are interested in oeisdata are comparing it to the libraries listed below
Sorting:
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆43Updated last week
- Java implementations of sequences in the OEIS☆65Updated last week
- Metamath source file for logic and set theory☆290Updated last week
- ☆23Updated this week
- Exponent pair database☆62Updated 2 weeks ago
- Python implementation of the monster group☆52Updated this week
- metamath proof enumerators and other things☆94Updated last year
- A computer algebra system for research in combinatorial game theory☆46Updated last year
- blueprint for prime number theorem and more☆181Updated this week
- An introduction to theorem proving in Lean for the impatient.☆240Updated this week
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Busy Beaver deciders backed by Coq proof☆54Updated 5 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆286Updated 8 months ago
- ☆327Updated 4 months ago
- A LaTeX Typesetting Game☆255Updated 4 months ago
- A project to map out the relations between different equational theories of Magmas.☆412Updated last week
- Natural Number Game☆204Updated 3 weeks ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆661Updated last week
- Server to host lean games.☆309Updated last week
- 💧 Liquid Tensor Experiment☆205Updated last year
- Theorem Proving in Lean 4☆203Updated 3 weeks ago
- plasTeX plugin to build formalization blueprints.☆235Updated 2 months ago
- The Lean version manager☆418Updated 3 months ago
- The standard template to create a lean game☆27Updated 2 weeks ago
- Metamath Zero specification language☆351Updated 3 weeks ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆183Updated last week
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆47Updated 6 months ago
- A community database of topological counterexamples☆125Updated this week
- Scientific computing in Lean 4☆426Updated 2 months ago
- ☆92Updated last year