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
- 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
- A formal consistency proof of Quine's set theory New Foundations☆68Updated this week
- Write formal proofs in natural language and LaTeX.☆36Updated this week
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆32Updated 2 months ago
- Exponent pair database☆43Updated last week
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- ☆28Updated 2 months ago
- Reference compiler for c0☆35Updated 8 months ago
- Lecture Notes for Algebra Lectures at the University of Bonn☆12Updated 7 months ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆48Updated 6 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…☆35Updated this week
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆19Updated 2 years ago
- Tag-based webview of LaTeX documents☆28Updated last year
- Lean 4 Metamath verifier☆17Updated last year
- Open textbook on modal logic☆21Updated 3 years ago
- Lean documentation authoring tool☆150Updated this week
- Lean 4 formalization of Rubik's cubes☆29Updated last month
- A formalized proof of Carleson's theorem in Lean☆50Updated this week
- Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)☆20Updated this week
- VSCode extension for Metamath☆10Updated 3 weeks ago
- Tool to analyse the import structure of lean projects.☆10Updated this week
- Solutions to math olympiad problems in Isabelle/HOL☆11Updated 3 years ago
- The glitch-soc/Mastodon fork running on types.pl☆22Updated last month
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆22Updated this week
- A formal proof of an exponentially better upper bound on Ramsey numbers☆16Updated last year
- Experiments in automation for Lean☆101Updated this week
- Document Generator for Lean 4☆86Updated last week
- An introduction to theorem proving in Lean for the impatient.☆165Updated last week
- ☆11Updated last year