Divide-By-0 / autolatex
All Auto Latex Equations Versions.
☆37Updated 4 months ago
Alternatives and similar repositories for autolatex
Users that are interested in autolatex are comparing it to the libraries listed below
Sorting:
- Exponent pair database☆50Updated this week
- A blog on AI, personal development, and living a good life.☆15Updated this week
- Rust bindings to GAP (Groups, Algorithms, Programming)☆23Updated last year
- Lean documentation authoring tool☆160Updated this week
- Theory of Computing Report☆12Updated 7 months ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 3 years ago
- A Python implementation of Garbled Circuits MPC protocol☆60Updated last year
- ☆87Updated last year
- The standard template to create a lean game☆24Updated 2 months ago
- Formalizing stochastic doubly-efficient debate☆104Updated 7 months ago
- DRAT proof processor☆14Updated 2 years ago
- ☆21Updated this week
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆35Updated 8 months ago
- Eric's personal notes from NYSRG https://notes.ekzhang.com/events/nysrg☆16Updated 2 weeks ago
- Formalizing results about the Mandelbrot set in Lean☆21Updated 6 months ago
- Busy Beaver deciders backed by Coq proof☆52Updated 2 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated last week
- (Mirror) A Machine-to-Machine Interaction System for Lean 4☆21Updated 2 weeks ago
- Grokking on modular arithmetic in less than 150 epochs in MLX☆12Updated 6 months ago
- ☆185Updated 2 years ago
- A database app for ring theory☆22Updated last week
- Mathematical proofs of the bbchallenge project.☆24Updated 2 weeks ago
- Riemann Hypothesis in Lean☆41Updated 4 years ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆159Updated 2 weeks ago
- A computer algebra system for research in combinatorial game theory☆40Updated last year
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 3 years ago
- Natural Number Game☆163Updated 2 months ago
- A library for partitioning 3D data.☆10Updated 7 months ago
- A project to digitalise results from physics into Lean.☆234Updated this week
- plasTeX plugin to build formalization blueprints.☆214Updated last week