Lean 4 + Mathlib formalization of arXiv:2603.21852 (Odrzywołek, EML)
☆13Aug 20, 2026Updated 2 months ago
Alternatives and similar repositories for eml-formalization
Users that are interested in eml-formalization are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- EML + 1☆14Apr 15, 2026Updated 6 months ago
- QGIS3 plugin to import survex .3d files☆10Oct 7, 2026Updated 3 weeks ago
- Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"☆22May 27, 2026Updated 5 months ago
- Balancing weights for observational studies☆12Dec 16, 2025Updated 10 months ago
- Numerically solve the Teukolsky equation for the linear perturbation of psi4, reconstruct the metric from psi4, and solve the second orde…☆18Jun 3, 2026Updated 4 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Like word2vec, except for letters of the alphabet.☆17May 29, 2017Updated 9 years ago
- 🏠 OpenStreetMap, AI import tool for buildings in Poland☆15Oct 11, 2026Updated 2 weeks ago
- Lean 4 formalization of arXiv:2603.21852 — All elementary functions from a single binary operator eml(x,y) = exp(x) - ln(y)☆34May 13, 2026Updated 5 months ago
- A small tool to draw horizontal plane outlines of caves, given an input of a 3D model☆13Jul 19, 2026Updated 3 months ago
- Impossibility theorems for self-seeding analytic Sheffer operators, responding to Odrzywolek (2026)☆18Apr 16, 2026Updated 6 months ago
- A rust port of con-leche☆34Updated this week
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆17May 18, 2022Updated 4 years ago
- Fully deterministic cross-device LLMs inference☆54Oct 2, 2026Updated 3 weeks ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆13Updated this week
- ☆19May 29, 2026Updated 5 months ago
- ☆14Oct 20, 2026Updated last week
- Everyone be self-snitching these days. Here's a tool that makes gloat-based OSINT easier to find.☆14Jun 7, 2023Updated 3 years ago
- Running Aristotle from Harmonic on Putnam 2025 problems☆15Dec 10, 2025Updated 10 months ago
- Fusion: highly aggregatable digital signatures using post-quantum lattice cryptography. `pip install fusion-cryptography`☆11Jul 5, 2023Updated 3 years ago
- Lean 4 formalization (work in progress) of O(n log n · log^(-ε) n) integer multiplication on a multitape Turing machine☆28Updated this week
- How bright would SpaceX's proposed orbital data centers be at twilight? Reproducible naked-eye counts under two published brightness mode…☆18Sep 27, 2026Updated last month
- A Lean 4 / Mathlib formalization of Coarse-Graining Theory for Elliptic Equations (Armstrong and Kuusi). No sorry, no custom axiom.☆17Oct 5, 2026Updated 3 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.☆14Jan 14, 2025Updated last year
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆14Apr 16, 2024Updated 2 years ago
- ☆16Aug 26, 2026Updated 2 months ago
- Repository for single source capture-recapture models☆10May 26, 2026Updated 5 months ago
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆22Oct 22, 2026Updated last week
- A practitioner wellbeing framework for cybersecurity operations. Four injuries, four zones, and what to do about them.☆28Sep 18, 2026Updated last month
- Local cluster console with OpenSSH connections and a documented API.☆14Oct 8, 2026Updated 3 weeks ago
- Karstnet is a python3 project providing tools for the statistical analysis of karstic networks.☆22Oct 20, 2026Updated last week
- Typeset version of EGA and SGA by Grothendieck.☆14Jan 28, 2014Updated 12 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Legacy Complexitylib V1; development continues at cslib-community/complexitylib.☆29Oct 22, 2026Updated last week
- Inkscape extensions for cave surveying☆29Aug 22, 2026Updated 2 months ago
- Home Assistant custom integration to gather data from the Energa My Meter (https://mojlicznik.energa-operator.pl/) website.☆29Sep 30, 2026Updated 3 weeks ago
- ☆11Apr 30, 2025Updated last year
- ☆16Mar 2, 2026Updated 7 months ago
- ☆12Mar 31, 2024Updated 2 years ago
- Real-time drone swarm autonomy simulation using Jev for fast System 1 reflex decisions and collision avoidance, with optional System 2 re…☆24Sep 26, 2026Updated last month