A proof of Conway's refinement conjecture in Lean
☆56Sep 3, 2026Updated 2 months ago
Alternatives and similar repositories for conway-refinement
Users that are interested in conway-refinement are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A pretty printer for Lean 4☆10Mar 18, 2023Updated 3 years ago
- Astro integration that provides a cache-able fetch function for Astro SSR☆17Updated this week
- Basic Unicode support for Lean 4☆16Updated this week
- A 4D Minesweeper game written in godot☆12Dec 23, 2022Updated 3 years ago
- A proof of the consistency of ZF in axiom-free Lean☆23Sep 19, 2026Updated last month
- 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.
- Advent of Code 2020 solutions in Lean 4☆25Jan 5, 2021Updated 5 years ago
- A JavaScript Yome widget written for a blog post.☆13Jun 8, 2015Updated 11 years ago
- A full-stack web and TUI framework inspired by Yesod and Elm.☆14Oct 29, 2026Updated last week
- Supplemental material for the "Beyond Notations" paper☆10Feb 7, 2023Updated 3 years ago
- Disproof of the Aharoni–Korman conjecture☆12Dec 1, 2025Updated 11 months ago
- The original NetHack rogue-like game built as a JavaScript WebAssembly module☆10Mar 16, 2021Updated 5 years ago
- My own collection of small mods for Geode☆14Apr 27, 2026Updated 6 months ago
- An epoll-based HTTP library for ATS2☆14Dec 27, 2022Updated 3 years ago
- Geode death tracker mod☆13Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Learn Lean and topology☆28Apr 28, 2023Updated 3 years ago
- An experimental HTTP framework for Idris☆14Mar 4, 2020Updated 6 years ago
- A frontend for your PDS☆26Oct 20, 2025Updated last year
- A statically typed entry-point router for command-line applications☆32Oct 9, 2026Updated 3 weeks ago
- Bot which posts when browser makers announce their intent to ship, change or remove features in their web engines!☆18Oct 7, 2026Updated last month
- Lindemann–Weierstrass Theorem☆12May 4, 2024Updated 2 years ago
- Run lean4 directly in your browser ( https://lean.cau.li )☆24Updated this week
- Geode mod for Geometry Dash integrating Geometry Dash Demon Ladder features into the game https://gdladder.com☆13Updated this week
- "Light's Out" game in Elm☆10Oct 17, 2016Updated 10 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A simple Todo-Backend application written using Go kit☆15Apr 25, 2025Updated last year
- A fully working phpBB-style bulletin board built to run on atproto, with a full HappyView AppView.☆25Oct 16, 2026Updated 3 weeks ago
- Formalisation of the theory of real closed fields in Lean 4.☆15Updated this week
- A curated list of mathematical proofs generated by artificial intelligent systems, verified by automated theorem prover, and a list of su…☆15Oct 17, 2026Updated 3 weeks ago
- ☆15Dec 24, 2025Updated 10 months ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 8 years ago
- Web fonts, made simple☆22Updated this week
- Linear mutable References and Utilities☆13Sep 18, 2026Updated last month
- A sound and complete solver for type inhabitation and unification in dependent type theory, written in 185 lines of Lean.☆12Sep 20, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ATProto blob proxy on Cloudflare Workers Cache☆19Aug 27, 2026Updated 2 months ago
- A formalization of the Banach-Tarski theorem in Lean☆17Jan 4, 2026Updated 10 months ago
- IRC-bot written in Lean (https://leanprover.github.io/)☆10Mar 4, 2022Updated 4 years ago
- Find and read documentation of Elm packages.☆17Sep 14, 2017Updated 9 years ago
- Some notes on the relationship between the Legendre and Fourier transforms☆11Dec 18, 2025Updated 10 months ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated 2 years ago
- A performant static site generator built to scale.☆13Jul 25, 2026Updated 3 months ago