mabotkin / zpordle
A number guessing game with a p-adic twist.
☆9Updated last year
Alternatives and similar repositories for zpordle:
Users that are interested in zpordle are comparing it to the libraries listed below
- Busy Beaver deciders backed by Coq proof☆41Updated 5 months ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 2 years ago
- An online math contest platform☆18Updated last month
- A formal consistency proof of Quine's set theory New Foundations☆66Updated last week
- The glitch-soc/Mastodon fork running on types.pl☆22Updated this week
- An experimental non-deterministic concatenative golfing language☆22Updated last week
- A Markdown to HTML compiler written in Haskell.☆15Updated 9 months ago
- Printable (A4) overview of tactics in Lean 4 for beginners☆24Updated 3 months ago
- GitHub repo backing Programming Language Ranking website ⬇️☆30Updated last week
- Book about using Lean with How To Prove It☆17Updated 3 weeks ago
- ☆25Updated 3 weeks ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- Lean documentation authoring tool☆131Updated this week
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆35Updated last month
- koneko - a concatenative not-quite-lisp for kittens☆23Updated 4 months ago
- A verified tensor library in Lean☆20Updated last week
- Solutions to math olympiad problems in Isabelle/HOL☆11Updated 3 years ago
- An optimizing Brainfuck interpreter.☆13Updated 5 years ago
- A solver for halting problem of Brainfuck programs☆16Updated 4 years ago
- A formalized proof of Carleson's theorem in Lean☆39Updated this week
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆29Updated this week
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆48Updated 3 months ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆19Updated 2 years ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆57Updated 3 months ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- ☆10Updated 3 years ago
- A program for drawing knots and links, with support for importing images☆29Updated last year
- A parser for ANSI C, in Lean4.☆20Updated last year
- ☆22Updated 2 years ago