oeis / oeisdataLinks
Content of Online Encyclopedia of Integer Sequences (OEIS)
☆95Updated this week
Alternatives and similar repositories for oeisdata
Users that are interested in oeisdata are comparing it to the libraries listed below
Sorting:
- Java implementations of sequences in the OEIS☆65Updated this week
- Metamath source file for logic and set theory☆294Updated this week
- A community database for the problems on the erdosproblems.com site☆71Updated this week
- A computer algebra system for research in combinatorial game theory☆48Updated last year
- metamath proof enumerators and other things☆94Updated last year
- blueprint for prime number theorem and more☆188Updated this week
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆44Updated last week
- An introduction to theorem proving in Lean for the impatient.☆251Updated 2 weeks ago
- Python implementation of the monster group☆53Updated 3 weeks ago
- Exponent pair database☆62Updated last week
- Busy Beaver deciders backed by Coq proof☆54Updated 6 months ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- A LaTeX Typesetting Game☆256Updated 5 months ago
- ☆24Updated 3 weeks ago
- Server to host lean games.☆315Updated this week
- ☆330Updated 2 weeks ago
- Convergence verification of the Collatz problem☆69Updated this week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆298Updated 9 months ago
- ☆14Updated last year
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆681Updated this week
- A project to map out the relations between different equational theories of Magmas.☆418Updated last week
- Theorem Proving in Lean 4☆206Updated last week
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆188Updated 2 weeks ago
- 💧 Liquid Tensor Experiment☆206Updated last year
- Mathematical proofs of the bbchallenge project.☆25Updated 2 weeks ago
- A community database of topological counterexamples☆128Updated this week
- plasTeX plugin to build formalization blueprints.☆240Updated this week
- Metamath program - source code for the Metamath executable☆85Updated last month
- Source code for the nLab☆186Updated 6 months ago
- Visual Studio Code extension for the Lean 4 proof assistant☆226Updated this week