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