---
id: "2079543493408567313"
created_at: "2026-07-21T12:26:19+00:00"
lang: es
in_reply_to: null
in_reply_to_user: null
thread_root: "2079543493408567313"
kind: original
urls:
  - expanded: "https://x.com/_dev_aleph_1/status/2079191095783649746"
---

Scriptorium nació como proyecto homólogo a "lo que requiere desarrollar una librería en Lean con toda la geometría anabelina y la teoría de Teichmüller interuniversal" pero en Ts y pa ZFC-NZFC, Cantor, Göedel, Cohen y HC. Pero mi dio palo, y ha quedao en 1 tablero de mus p2p, 😚. https://t.co/YX7AmObk8P