archmageirvine / joeis
Java implementations of sequences in the OEIS
☆60Updated this week
Alternatives and similar repositories for joeis:
Users that are interested in joeis are comparing it to the libraries listed below
- metamath proof enumerators and other things☆93Updated 7 months ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆75Updated this week
- Metamath program - source code for the Metamath executable☆83Updated 7 months ago
- Metamath verifier in Python☆38Updated 11 months ago
- LODA Programs for Integer Sequences☆33Updated this week
- ☆22Updated last month
- Formalization of the existence of sphere eversions☆39Updated 2 weeks ago
- Fermat's Last Theorem for regular primes☆52Updated this week
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 3 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- ☆18Updated last month
- ☆19Updated 2 years ago
- Exponent pair database☆42Updated this week
- Source of metamath book☆48Updated last year
- This project converts structured Lean code into an interactive browser game.☆75Updated last year
- ☆15Updated last year
- Busy Beaver deciders backed by Coq proof☆48Updated 2 weeks ago
- Metamath source file for logic and set theory☆272Updated this week
- A formalization of the Rubik's cube group☆27Updated 4 years ago
- Tag-based webview of LaTeX documents☆28Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆32Updated last month
- plasTeX plugin to build formalization blueprints.☆190Updated 3 weeks ago
- ☆86Updated last year
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆36Updated 2 weeks ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated last year
- Server to host lean games.☆244Updated last week
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆27Updated 3 years ago
- Compiler Technologies for Mathematica/Wolfram Language.☆36Updated 4 years ago
- tool for turning Lean proofs into Blender animations☆61Updated last month
- A program for drawing knots and links, with support for importing images☆29Updated last year