geohot / twitchcoq
It's a poorly named metamath verifier
☆108Updated 4 years ago
Alternatives and similar repositories for twitchcoq:
Users that are interested in twitchcoq are comparing it to the libraries listed below
- Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq☆53Updated 5 years ago
- A distributed decentralized chess tournament☆97Updated last year
- compression = AI☆54Updated 2 years ago
- ☆69Updated 4 years ago
- ☆61Updated 4 years ago
- Writing Scheme in Haskell☆61Updated 4 years ago
- Tic Tac Toe in React because it is Simple Skills Sunday☆97Updated last year
- Lean Library currently studying for a degree at Imperial College☆225Updated last month
- Computing digits of pi for the people☆69Updated 3 years ago
- mergesort in many languages☆261Updated last year
- Enabling tinygrad compatibility with the Google Edge TPU☆76Updated 6 months ago
- ☆69Updated 3 years ago
- The WIP book for CPSC 411☆63Updated this week
- A gamification of the theorems in MATH40002 Analysis 1☆81Updated 2 years ago
- metamath proof enumerators and other things☆93Updated 8 months ago
- Thoughts on adjoint, norm and such.☆169Updated 2 years ago
- IMO Grand Challenge for Artificial Intelligence☆44Updated 3 years ago
- like twitchslam, for chess☆362Updated last year
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 5 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆214Updated 5 years ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆159Updated last year
- Inspired by George Hotz☆11Updated 3 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- My personal repository of formally verified mathematics.☆295Updated last week
- A Learning Environment for Theorem Proving with the Coq proof assistant☆397Updated last year
- Some examples of Lean projects, for undergraduate mathematicians.☆22Updated 3 years ago
- Hoare Type Theory☆74Updated 2 months ago
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆163Updated 3 years ago
- A Learning Environment for Theorem Proving☆73Updated 2 years ago
- Python bindings for the Coq interactive proof assistant☆53Updated 3 years ago