geohot / twitchcoqLinks
It's a poorly named metamath verifier
☆109Updated 4 years ago
Alternatives and similar repositories for twitchcoq
Users that are interested in twitchcoq are comparing it to the libraries listed below
Sorting:
- Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq☆54Updated 6 years ago
- A distributed decentralized chess tournament☆97Updated 2 years ago
- compression = AI☆53Updated 2 years ago
- ☆69Updated 4 years ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated last year
- mergesort in many languages☆262Updated last year
- A visualization of key structures in abstract algebra.☆156Updated 5 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆161Updated last week
- Maximally decentralized cryptocurrency☆20Updated 4 years ago
- My personal repository of formally verified mathematics.☆302Updated this week
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 4 years ago
- metamath proof enumerators and other things☆94Updated 11 months ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆334Updated 5 years ago
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- Enabling tinygrad compatibility with the Google Edge TPU☆78Updated 10 months ago
- A gamification of the theorems in MATH40002 Analysis 1☆82Updated 2 years ago
- The Principia Rewrite☆224Updated 5 months ago
- Lean Library currently studying for a degree at Imperial College☆226Updated 5 months ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Updated 4 years ago
- Study of language design and implementation.☆67Updated 4 years ago
- Performance comparison of parallel ray tracing in functional programming languages☆307Updated last year
- A Fully Homomorphic Encryption Brainfuck virtual machine☆216Updated 5 years ago
- Short essays I've written☆79Updated last year
- Ternary computer emulator☆233Updated 3 years ago
- Obsidian language development☆80Updated last year
- Perfectoid spaces in the Lean formal theorem prover.☆125Updated last year
- Jupyter notebooks for tutorial on the Z3 SMT solver☆161Updated last year
- lambda calculus interpreter☆44Updated 4 years ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated last year