Experiments with interactive theorem provers, LLMs and formal systems
☆26Jul 10, 2023Updated 3 years ago
Alternatives and similar repositories for LeanGPT
Users that are interested in LeanGPT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Examples of Abstract Data Types written in Javascript for educational purposes☆11Jun 3, 2015Updated 11 years ago
- Interactive neural theorem proving in Lean☆135Mar 24, 2022Updated 4 years ago
- Render and run context-rich Lean 4 prompts in VS Code.☆11Aug 14, 2025Updated last year
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive…☆24Dec 12, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- End-to-end formally verified solvers for the inviscid Burgers', isotropic viscous Burgers', and full (anisotropic) viscous Burgers' equat…☆16Sep 9, 2026Updated last month
- A selection of resources from Binghamton University's EECE580G - Deep Learning for ECE course☆12May 21, 2021Updated 5 years ago
- Python wrapper for lean-gym☆13Apr 5, 2023Updated 3 years ago
- Dockerfiles for Iroha☆10Mar 23, 2017Updated 9 years ago
- sha256(sha256(preimage)) in zk☆15May 12, 2021Updated 5 years ago
- ☆10Jun 9, 2019Updated 7 years ago
- Sample iOS point application for Hyperledger Iroha☆11Apr 28, 2026Updated 6 months ago
- Summer in Japan.🎆🎇🎌☆10Updated this week
- ☆16May 28, 2026Updated 5 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.
- The interface between probabilistic model checking and data-driven policy learning.☆21Sep 6, 2026Updated last month
- Homework submissions for Harvard's CS171: Visualization☆16Mar 30, 2015Updated 11 years ago
- resilient location sharing☆13Sep 23, 2021Updated 5 years ago
- Axiomatic_AI MCP Server☆24Updated this week
- Utility methods related to public key cryptography to be used with distributed mutable storage☆15May 13, 2020Updated 6 years ago
- Code for the ICLR 2024 paper "How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data"☆23Oct 22, 2026Updated last week
- Lean 4 tactic library for closing proofs across applied mathematics. Probability, statistics, biology, chemistry, economics, engineering,…☆18Jul 20, 2026Updated 3 months ago
- 最高会津若松情報🍜🍣🍛🍝🌮🍜☆16May 25, 2017Updated 9 years ago
- Backend code for a D3 notary☆16Mar 13, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆76Jun 4, 2026Updated 4 months ago
- Distributed, scalable database. To be implemented.☆15Apr 28, 2021Updated 5 years ago
- Clone of iris-reasoner (http://iris-reasoner.org) from sourceforge☆11Mar 18, 2016Updated 10 years ago
- ☆14Mar 23, 2026Updated 7 months ago
- ☆11Sep 28, 2026Updated last month
- An LLM chatbot augmented by neuro-symbolic rules☆10Jun 8, 2023Updated 3 years ago
- ☆11Oct 11, 2023Updated 3 years ago
- Experiments with moebius transformations and non-euclidian perspectives.☆12Apr 16, 2023Updated 3 years ago
- Learning Formal Mathematics from Intrinsic Motivation☆36Jul 10, 2025Updated last year
- 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.
- ☆31Jul 16, 2025Updated last year
- A fork of Cerberus C adding a Lean 4 port of the semantics☆15Updated this week
- Set custom icons for Safari bookmarks on iOS☆11Feb 22, 2020Updated 6 years ago
- Preliminary results and testing of Extropic THRML☆11Oct 31, 2025Updated last year
- query peers about hypercore feed data☆14Apr 17, 2020Updated 6 years ago
- Building the Bi-LSTM & the CNN-GAN models to compose Classical Music in different eras☆12Aug 2, 2021Updated 5 years ago
- ☆22Oct 16, 2026Updated 2 weeks ago