geohot / twitchcoqLinks
It's a poorly named metamath verifier
☆110Updated 5 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
- compression = AI☆53Updated 2 years ago
- A distributed decentralized chess tournament☆97Updated 2 years 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.☆335Updated 5 years ago
- My personal repository of formally verified mathematics.☆306Updated 2 weeks ago
- Lean Library currently studying for a degree at Imperial College☆228Updated 7 months ago
- Jupyter notebooks for tutorial on the Z3 SMT solver☆165Updated last year
- metamath proof enumerators and other things☆94Updated last year
- A visualization of key structures in abstract algebra.☆156Updated 5 years ago
- Short essays I've written☆78Updated last year
- A Learning Environment for Theorem Proving with the Coq proof assistant☆411Updated 2 years ago
- Enabling tinygrad compatibility with the Google Edge TPU☆79Updated last year
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆136Updated 2 years ago
- Course materials for Stanford's CS43: Functional Programming Paradigms☆31Updated 5 years ago
- The WIP book for CPSC 411☆66Updated 2 months ago
- Study of language design and implementation.☆67Updated 5 years ago
- Lean 3 Theorem Prover (community fork)☆433Updated last year
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Maximally decentralized cryptocurrency☆20Updated 4 years ago
- Like some files bro☆427Updated 11 months ago
- A gamification of the theorems in MATH40002 Analysis 1☆82Updated 2 years ago
- Moonad: a Peer-to-Peer Operating System☆101Updated 5 years ago
- Source of metamath book☆50Updated last year
- SKI combinators☆55Updated 8 years ago
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas☆335Updated 4 months ago
- Perfectoid spaces in the Lean formal theorem prover.☆125Updated last year
- A Pascal to LLVM compiler in Haskell☆125Updated 5 years ago
- Open-source number theory textbook☆61Updated last year
- Program Synthesis Course☆262Updated last year