geohot / twitchcoqLinks
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
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
- Writing Scheme in Haskell☆61Updated 4 years ago
- like twitchslam, for chess☆361Updated last year
- Lean Library currently studying for a degree at Imperial College☆226Updated 3 months ago
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- mergesort in many languages☆261Updated last year
- You like pytorch? You like micrograd? You love tinygrad! ❤️☆49Updated 4 years ago
- Short essays I've written☆78Updated last year
- metamath proof enumerators and other things☆93Updated 10 months ago
- Jupyter notebooks for tutorial on the Z3 SMT solver☆161Updated last year
- A gamification of the theorems in MATH40002 Analysis 1☆83Updated 2 years ago
- ☆162Updated 5 years ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Updated 3 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆215Updated 6 years ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated last year
- SKI combinators☆55Updated 8 years ago
- Python bindings for the Coq interactive proof assistant☆55Updated 3 years ago
- Perfectoid spaces in the Lean formal theorem prover.☆122Updated 10 months ago
- Symbolic execution engine for toy language.☆51Updated 7 years ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated last year
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆18Updated 4 years ago
- Yet Another Compiler Visualizer☆159Updated 3 years ago
- A Verified Compiler for Gallina, Written in Gallina☆151Updated last month
- Course materials for Stanford's CS43: Functional Programming Paradigms☆31Updated 5 years ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆296Updated last year
- Hoare Type Theory☆75Updated last month
- Deep learning via category theory and functional programming☆144Updated 5 years ago
- Study of language design and implementation.☆67Updated 4 years ago