GitHub issues as a blog with comment feature, place to publish and/or relay contents, and open discussion forum.
☆15Jun 26, 2020Updated 5 years ago
Alternatives and similar repositories for contents
Users that are interested in contents 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 framework for creating your own reinforcement learning environments using pybullet☆21Oct 7, 2019Updated 6 years ago
- never forget anything again! combine AI and intelligent tooling for a local knowledge base to track catalogue, annotate, and plan for you…☆37May 14, 2024Updated last year
- Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.☆55Updated this week
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- GitHub star history graph☆12Jan 29, 2026Updated last month
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆10Oct 11, 2022Updated 3 years ago
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- Companion repository to "Prompt Compression and Contrastive Conditioning for Controllability and Toxicity Reduction in Language Models"☆14May 31, 2023Updated 2 years ago
- Repository for opt-out requests.☆10Mar 25, 2024Updated 2 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆15Mar 6, 2026Updated 3 weeks ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Unofficial copy of GSview 5.0☆11Jun 7, 2019Updated 6 years ago
- Scratchpad/Chain-of-Thought Prompts☆12Jun 6, 2022Updated 3 years ago
- A semidefinite programming solver for clustered low-rank SDPs☆14Mar 4, 2026Updated 3 weeks ago
- Lean 3 web editor☆12Oct 25, 2023Updated 2 years ago
- ☆11Oct 31, 2021Updated 4 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 5 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Feb 18, 2026Updated last month
- ☆17Dec 16, 2015Updated 10 years ago
- ☆13Jul 8, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- sorear's Metamath system engine☆13May 5, 2016Updated 9 years ago
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆12Apr 16, 2024Updated last year
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Nov 10, 2021Updated 4 years ago
- Conference on Homotopy Type Theory 2019☆16Sep 18, 2019Updated 6 years ago
- c++ implementation of alphagozero☆15May 29, 2018Updated 7 years ago
- A development of homotopy theory in the Lean formal theorem prover.☆14Aug 27, 2020Updated 5 years ago
- ☆14Updated this week
- ☆11Sep 15, 2025Updated 6 months ago
- ☆15Apr 12, 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.
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- ☆13Aug 29, 2025Updated 6 months ago
- ☆17Feb 16, 2026Updated last month
- ☆16Jul 2, 2025Updated 8 months ago
- Adding conjecturing to Sage☆14Mar 17, 2023Updated 3 years ago
- Yet Another Sokoban Solver and Optimizer - for Android☆16Jan 27, 2026Updated 2 months ago
- ☆15Oct 21, 2020Updated 5 years ago