RT @ElliotGlazer: Como se mencionó aquí, Rocq y Lean se basan en CIC, que se sabe que está muy por encima de la teoría de conjuntos de Zermelo, pero se desconoce si…
Cargando el detalle del hilo
Obteniendo los tweets originales de X para ofrecer una lectura limpia.
Esto suele tardar solo unos segundos.