Publicaciones sobre LeanProver

15-11-2024Readings shared November 15, 2024
14-11-2024Readings shared November 14, 2024
12-11-2024Readings shared November 12, 2024
11-11-2024Readings shared November 11, 2024
02-11-2024Readings shared November 2, 2024
25-10-2024Readings shared October 25, 2024
21-10-2024Readings shared October 21, 2024
19-10-2024Readings shared October 19, 2024
18-10-2024Readings shared October 18, 2024
15-10-2024Readings shared October 15, 2024
11-10-2024Readings shared October 11, 2024
10-10-2024Readings shared October 10, 2024
06-10-2024Readings shared October 6, 2024
05-10-2024Readings shared October 5, 2024
01-10-2024Readings shared October 1, 2024
30-09-2024Readings shared September 30, 2024
29-09-2024Readings shared September 29, 2024
28-09-2024Readings shared September 28, 2024
27-09-2024Readings shared September 27, 2024
25-09-2024Readings shared September 25, 2024
23-09-2024Readings shared September 23, 2024
22-09-2024Readings shared September 22, 2024
21-09-2024Readings shared September 21, 2024
17-09-2024Readings shared September 17, 2024
16-09-2024Readings shared September 16, 2024
15-09-2024Readings shared September 15, 2024
14-09-2024Readings shared September 14, 2024
11-09-2024Readings shared September 11, 2024
06-09-2024Readings shared September 6, 2024
05-09-2024Readings shared September 5, 2024
02-09-2024Readings shared September 2, 2024
29-08-2024Readings shared August 28, 2024
24-08-2024Readings shared August 23, 2024
20-08-2024Readings shared August 19, 2024
19-08-2024Readings shared August 18, 2024
18-08-2024Readings shared August 17, 2024
15-08-2024Readings Shared August 14, 2024
10-08-2024Lecturas compartidas el 9 de agosto de 2024
03-08-2024Lecturas compartidas el 2 de agosto de 2024
29-07-2024Lecturas compartidas el 28 de julio de 2024