Dataset · Hugging Face

SantiagoTristany/el-espejismo-de-la-sustancia

Name: el-espejismo-de-la-sustancia
Creator: SantiagoTristany
License: mit
Keywords: task_categories:text-generation, task_categories:question-answering, task_categories:feature-extraction, language:es, license:mit, size_categories:10K<n<100K, format:text, modality:text, library:datasets, library:mlcroissant, doi:10.57967/hf/9993, region:us, philosophy-of-science, formal-epistemology, formal-verification

Dual Licensing - Libro y Código Fuente Copyright (c) 2026 Santiago Tristany Este repositorio contiene un libro/documentación junto con ejemplos de código ejecutable en Lean, Z3 y Clingo. El contenido se distribuye bajo un esquema de licencia dual: TEXTO Y DOCUMENTACIÓN (El Libro): Todo el contenido de texto, explicaciones, prosa y narrativa de este libro está licenciado bajo la Licencia Internacional Creative Commons Atribución 4.0 (CC BY 4.0). Para ver una copia de esta licencia, visite:… See the full description on the dataset page: https://huggingface.co/datasets/SantiagoTristany/el-espejis

View on Hugging FaceReport an issue

Author / organization	SantiagoTristany
License (as declared)	mit
Downloads	130 (as reported by Hugging Face)
Likes	0
Created	15 August 2026
Last updated at source	15 August 2026

philosophy-of-scienceformal-epistemologyformal-verificationlogicmathematical-logictype-theorylean4z3smt-solverclingoanswer-set-programmingquantum-mechanicsbell-theoremgeneral-relativitydeontic-logiclegal-theorypolitical-philosophyreificationspanishbook

Embed this entry

<iframe src="https://silytics.si/embed/item/909d05e0-a527-4dc6-af78-633f8cef6e40" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Popularity, last 3 days

130 now (+6 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 18 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.