Publicaciones sobre Autoformalization

14-06-2025Readings shared June 13, 2025
08-05-2025Readings shared May 8, 2025
14-02-2025Readings shared February 14, 2025
13-02-2025Readings shared February 13, 2025
10-02-2025Readings shared February 10, 2025
23-12-2024Readings shared December 23, 2024
02-11-2024Readings shared November 2, 2024
01-11-2024Readings shared November 1, 2024
18-10-2024Readings shared October 18, 2024
17-09-2024Readings shared September 17, 2024
16-06-2024Lecturas compartidas el 15 de junio de 2024
09-06-2024Lecturas compartidas el 8 de junio de 2024