Conceptio
›
Archive
›
PhilArchive
PhilArchive
metadata only
IGNATIUM: Lean 4 Formalization (Technical Supplementary Preprint)
López Villanueva, Ignacio
PhilArchive · Other
Open Source ↗
philosophy
Philosophy
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Related documents
Johann Christoph Sturm's Opposition to Cartesianism
#248560
Persistent Internal Standpoints in Artificial Systems: Machine Understanding as Standpoint-Organized World Modeling
#248561
Temptation as Structural Drift: A Systems Theory of Sin and Alignment
#248562
Philosophical Pessimism and the Heterogeneity of Suffering
#248563
Etica normativa
#248564
Record
· ID 222018
Retrieved via
Conceptio
— every document is proof-bundled with source, license, and retrieval metadata.