Formal Systems Corpus — Lean formalizations by Takeo Yamamoto (Takeo140)

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.

Authors

Publication Details

Journal
Open Science Framework
Published
2026-11-06
DOI
https://doi.org/10.17605/osf.io/j7ahr
Primary Topic
Logic, programming, and type systems
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
NOV
article

Formal Systems Corpus — Lean formalizations by Takeo Yamamoto (Takeo140)

Takeo Yamamoto
1 links
Open Science Framework
Logic, programming, and type systems
article

Formal Systems Corpus — Lean formalizations by Takeo Yamamoto (Takeo140)

Takeo Yamamoto
article en

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.

Open Science Framework
Openalex Percentile: Top 10%
Logic, programming, and type systems
DOIOpen Access PDFOpenAlex
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Laika access coming soon
Formal Systems Corpus — Lean formalizations by Takeo Yamamoto (Takeo140) — Takeo Yamamoto · Open Science Framework (2026) | TGRS Research Map | TGRS