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☆55Updated 3 years ago
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆334Updated 5 years ago
- Solutions, discussions, and approaches to the exercises☆144Updated 7 years ago
- mergesort in many languages☆264Updated 2 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- A visualization of key structures in abstract algebra.☆157Updated 5 years ago
- like twitchslam, for chess☆370Updated 2 years ago
- Maximally decentralized cryptocurrency☆20Updated 5 years ago
- My personal repository of formally verified mathematics.☆308Updated last week
- Lean Library currently studying for a degree at Imperial College☆229Updated 11 months ago
- Generates a 2D animation of Rule 30 (or other rules) being fed into Conway's Game of Life.☆165Updated 2 years ago
- Short essays I've written☆80Updated 2 years ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆31Updated 4 years ago
- You like pytorch? You like micrograd? You love tinygrad! ❤️☆49Updated 5 years ago
- A Learning Environment for Theorem Proving with the Coq proof assistant☆414Updated 2 years ago
- metamath proof enumerators and other things☆92Updated 2 months ago
- A gamification of the theorems in MATH40002 Analysis 1☆84Updated 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
- Haskell implementation of open games☆183Updated 11 months ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 6 years ago
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆314Updated last year
- Course materials for Stanford's CS43: Functional Programming Paradigms☆33Updated 5 years ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Updated 4 years ago
- Study of language design and implementation.☆66Updated 5 years ago
- a collection of cellular automata written in Haskell with Diagrams☆188Updated 6 years ago
- Digital version of the asymptote puzzle by perplexingpuzzles.com.au☆31Updated 4 years ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆66Updated 2 years ago
- Perfectoid spaces in the Lean formal theorem prover.☆129Updated last year
- IMO Grand Challenge for Artificial Intelligence☆47Updated 3 years ago