Formal Systems Corpus — Lean formalizations by Takeo Yamamoto (Takeo140)
Year: 2026
Type: preprint
Abstract: Snapshots (2026-11-06) of four public Lean 4 repositories by Takeo Yamamoto (GitHub: Takeo140), archived together as one corpus: computational-core (a foundational computational core, incl. an independent-axiom treatment of Collatz), Mathematical-Medicine (an experiment in applying Lean formalization to medicine, modelling DNA as bits), Meta-Axiom, and F-Theory_Cosmological_Physics. Source: https://github.com/Takeo140 — also archived at Software Heritage, Codeberg, Hugging Face (dataset Takeo140/formal-systems-corpus), figshare (DOI 10.6084/m9.figshare.34936506) and the Internet Archive (archive.org/details/formal-systems-corpus-takeo140). Each repository also has its own Zenodo DOI. License: Apache-2.0.
Source: OSF Preprints (OSF Preprints)
Author: Takeo Yamamoto
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7225410588