π (Merged) Formal proofs of "An Infinitely Large Napkin"
β29Aug 1, 2026Updated 3 months ago
Alternatives and similar repositories for proofs
Users that are interested in proofs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- π Solutions of "An Infinitely Large Napkin"β51Sep 16, 2026Updated last month
- π A Rocq library written by members of PnV Discord Serverβ19Sep 17, 2026Updated last month
- π (WIP) Rewriting Software Foundations in Lean 4β35Aug 4, 2026Updated 2 months ago
- File IO (read/write/open) for OsPath APIβ25Jan 30, 2026Updated 9 months ago
- β10Nov 20, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean β’ AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- β35Nov 7, 2025Updated 11 months ago
- β14Feb 26, 2024Updated 2 years ago
- LLM-powered agentic translation library for JavaScript/TypeScriptβ33May 5, 2026Updated 5 months ago
- A simple Rust and WebAssembly example implementing the Game of Lifeβ14Aug 4, 2021Updated 5 years ago
- Fast-forward merge for GitHubβ33Oct 22, 2026Updated last week
- π Compiler Compiler based on CSharp with GUI Programβ21Oct 21, 2022Updated 4 years ago
- An automatic, safe, and concurrent garbage collector for Rustβ19Jul 19, 2026Updated 3 months ago
- Polymorphic guarded Ξ»-calculusβ22Oct 22, 2026Updated last week
- Embedded-first ActivityPub server frameworkβ23Sep 30, 2026Updated last month
- Proton VPN Special Offer - Get 70% off β’ AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A proof of the consistency of ZF in axiom-free Leanβ23Sep 19, 2026Updated last month
- WebAssembly interpreter in a Header (WAH)β67Updated this week
- Minimal implementations for dependent type checking and elaborationβ10Apr 26, 2026Updated 6 months ago
- Prototype for https://github.com/Innf107/vegaβ19Jul 22, 2024Updated 2 years ago
- Programming Language Foundations in Leanβ57Apr 11, 2026Updated 6 months ago
- Haze's Agent Skillsβ13Jul 18, 2026Updated 3 months ago
- C&C parser & Boxerβ10Aug 9, 2023Updated 3 years ago
- Debug Adaptor Protocol (DAP) implementationβ11Sep 16, 2026Updated last month
- Linearizability Hoare Logicβ18Sep 16, 2026Updated last month
- Open source password manager - Proton Pass β’ AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Lean Companion to Axler's Linear Algebra Done Rightβ30Oct 27, 2026Updated last week
- i18n library for Lean.β14Oct 22, 2026Updated last week
- An opinionated changelog managerβ17Oct 25, 2026Updated last week
- Learn Lean 4 with PLFA proofs.β118Sep 23, 2026Updated last month
- Low-level multicore utilities for OCamlβ14Jan 18, 2026Updated 9 months ago
- Website for the association of linguistics students at the University of TΓΌbingenβ14Updated this week
- My portfolio contains a lexer generator, a parser generator, my own Ξ»Prolog interpreter, and several meta-theorems for the propositional β¦β14Oct 3, 2026Updated 3 weeks ago
- Command-like expressions for real infinite-precision calculationsβ57May 9, 2026Updated 5 months ago
- A monorepo for open-source Rust crates developed by Contents Technologies.β12Mar 23, 2026Updated 7 months ago
- GPU virtual machines on DigitalOcean Gradient AI β’ AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- νμ€μΌ λͺ¨μ μΉμ¬μ΄νΈ μμ€ μ½λβ16Dec 8, 2021Updated 4 years ago
- Experimental library for Naryaβ13Aug 6, 2025Updated last year
- In-progress conversion of APEX Calculus to PreTeXtβ15Updated this week
- Access unicode character databaseβ18Sep 16, 2026Updated last month
- A cross-platform dotfiles managerβ15Jul 30, 2026Updated 3 months ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inferenceβ71Nov 17, 2025Updated 11 months ago
- Lean playground for programming language modeling tooling.β15May 20, 2026Updated 5 months ago