{"repo":"optpku/ReasBook","free":true,"listed":false,"github":"https://github.com/optpku/ReasBook","clone":"git clone https://github.com/optpku/ReasBook.git","description":"ReasBook main branch mirror for self-hosted CI","language":"Lean","stars":56,"topics":[],"license":"Apache-2.0","category":"self-hosted-apps","readme_excerpt":"ReasBook ReasBook is a Lean 4 project for formalizing mathematics from textbooks and research papers. The goal is to preserve the structure of original references while producing machine-checkable proofs. We welcome contributions from researchers, students, and practitioners. ReasBook is generated using the tool: M2F. - Try Quokka (https://quokka.reaslab.io/), our publicly available automated formalization system. Quokka can automatically transform long-form mathematical literature into compilable Lean 4 projects containing formally verified statements and proofs. Toolchain Branches Branch Lean/mathlib Status Books/Papers Last build --- --- --- ---: --- v4.32.0 v4.32.0 Active 1 / 0 Pending v4.32.2 v4.32.2 Active 0 / 1 Passed v4.30.0 v4.30.0 Active 8 / 2 Passed v4.26.0 v4.26.0 Active 4 / 2 Passed main is the cross-version catalog. The source code stays on the registered version branches; the lightweight link folders below make each entry discoverable from this branch. Status: Empty (initialized, no source projects on that branch) · Active (accepting PRs) · Frozen (kept, no new books) · Archived (historical only). Main-branch Link Folders Each directory in these indexes is a landing page for one book or paper. Open a directory and follow its prominent source link to the exact version branch and project folder. - Books - Papers - Theorem dependency maps (currently TR-LALM only) Download and Use One Project You do not need to download every ReasBook project or the history of ever","default_branch":null,"files":null,"tree":[],"storefront":"/r/optpku","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/optpku/ReasBook/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}