mabotkin / zpordleLinks
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
Sorting:
- A formal consistency proof of Quine's set theory New Foundations☆71Updated last week
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- Reference compiler for c0☆36Updated last week
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆28Updated 3 years ago
- The glitch-soc/Mastodon fork running on types.pl☆23Updated 2 months ago
- Printable (A4) overview of tactics in Lean 4 for beginners☆24Updated 8 months ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆34Updated this week
- Write formal proofs in natural language and LaTeX.☆36Updated last week
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆24Updated this week
- Lean 4 formalization of Rubik's cubes☆30Updated 3 months ago
- GitHub repo backing Programming Language Ranking website ⬇️☆33Updated last month
- A verified tensor library in Lean☆24Updated last week
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆27Updated 2 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- types for various combinatory systems, especialy tree calculi☆17Updated 4 months ago
- Exponent pair database☆53Updated last week
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated 3 weeks ago
- A Lean 4 formalization of partial combinatory algebras.☆14Updated 4 months ago
- ☆23Updated 3 years ago
- A toy example of a verified compiler.☆28Updated last month
- Learn Lean and topology☆21Updated 2 years ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆49Updated 8 months ago
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago
- Book about using Lean with How To Prove It☆18Updated this week
- ☆31Updated last year
- ☆30Updated this week
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆64Updated this week
- An experimental non-deterministic concatenative golfing language☆24Updated 2 months ago
- An online math contest platform☆19Updated 2 months ago