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
- A distributed decentralized chess tournament☆96Updated 2 years ago
- ☆69Updated 4 years ago
- Solutions, discussions, and approaches to the exercises☆145Updated 6 years ago
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆335Updated 5 years ago
- mergesort in many languages☆263Updated 2 years ago
- Tic Tac Toe in React because it is Simple Skills Sunday☆97Updated 2 years ago
- A visualization of key structures in abstract algebra.☆156Updated 5 years ago
- My personal repository of formally verified mathematics.☆306Updated last week
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- Maximally decentralized cryptocurrency☆20Updated 4 years ago
- Learning Haskell for the first time and using it to write a simple C compiler☆27Updated 7 years ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆64Updated 2 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆137Updated 3 years ago
- Jupyter notebooks for tutorial on the Z3 SMT solver☆164Updated 2 years ago
- Short essays I've written☆79Updated last year
- A Fully Homomorphic Encryption Brainfuck virtual machine☆216Updated 5 years ago
- SKI combinators☆55Updated 8 years ago
- A Learning Environment for Theorem Proving with the Coq proof assistant☆415Updated 2 years ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated 5 months ago
- Lean Library currently studying for a degree at Imperial College☆229Updated 9 months ago
- Obsidian language development☆80Updated 2 years ago
- Course materials for Stanford's CS43: Functional Programming Paradigms☆31Updated 5 years ago
- metamath proof enumerators and other things☆91Updated this week
- like twitchslam, for chess☆369Updated 2 years ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated last year
- A compiler for a tiny (but growing!) subset of C, written in OCaml.☆299Updated 3 years ago
- Ternary computer emulator☆242Updated 3 years ago
- Program Synthesis Course☆265Updated last year
- Moonad: a Peer-to-Peer Operating System☆101Updated 5 years ago