Publicaciones sobre LeanProver

20-04-2025Readings shared April 20, 2025
19-04-2025Readings shared April 19, 2025
18-04-2025Readings shared April 18, 2025
17-04-2025Readings shared April 17, 2025
15-04-2025Readings shared April 15, 2025
13-04-2025Readings shared April 13, 2025
11-04-2025Readings shared April 11, 2025
10-04-2025Prueba 5 Readings shared April 10, 2025
08-04-2025Readings shared April 8, 2025
07-04-2025Readings shared April 7, 2025
06-04-2025Readings shared April 6, 2025
05-04-2025Readings shared April 5, 2025
04-04-2025Readings shared April 4, 2025
03-04-2025Readings shared April 3, 2025
02-04-2025Readings shared April 2, 2025
01-04-2025Readings shared April 1, 2025
31-03-2025Readings shared March 31, 2025
30-03-2025Readings shared March 30, 2025
29-03-2025Readings shared March 29, 2025
28-03-2025Readings shared March 28, 2025
27-03-2025Readings shared March 27, 2025
25-03-2025Readings shared March 25, 2025
24-03-2025Readings shared March 24, 2025
23-03-2025Readings shared March 23, 2025
22-03-2025Readings shared March 22, 2025
21-03-2025Readings shared March 21, 2025
19-03-2025Readings shared March 19, 2025
19-03-2025Readings shared March 19, 2025
14-03-2025Readings shared March 14, 2025
13-03-2025Readings shared March 13, 2025
12-03-2025Readings shared March 12, 2025
11-03-2025Readings shared March 11, 2025
10-03-2025Readings shared March 10, 2025
09-03-2025Readings shared March 9, 2025
07-03-2025Readings shared March 7, 2025
06-03-2025Readings shared March 6, 2025
04-03-2025Readings shared March 4, 2025
02-03-2025Readings shared March 2, 2025
01-03-2025Readings shared March 1, 2025
28-02-2025Readings shared February 28, 2025
25-02-2025Readings shared February 25, 2025
24-02-2025Readings shared February 24, 2025
20-02-2025Readings shared February 20, 2025
19-02-2025Readings shared February 19, 2025
17-02-2025Readings shared February 17, 2025
15-02-2025Readings shared February 15, 2025
13-02-2025Readings shared February 13, 2025
12-02-2025Readings shared February 12, 2025
10-02-2025Readings shared February 10, 2025
09-02-2025Readings shared February 9, 2025
06-02-2025Readings shared February 6, 2025
05-02-2025Readings shared February 5, 2025
03-02-2025Readings shared February 3, 2025
01-02-2025Readings shared February 1, 2025
28-01-2025Readings shared January 28, 2025
26-01-2025Readings shared January 26, 2025
23-01-2025Readings shared January 23, 2025
22-01-2025Readings shared January 22, 2025
20-01-2025Readings shared January 20, 2025
19-01-2025Readings shared January 19, 2025
17-01-2025Readings shared January 17, 2025
16-01-2025Readings shared January 16, 2025
15-01-2025Readings shared January 15, 2025
11-01-2025Readings shared January 11, 2025
10-01-2025Readings shared January 10, 2025
09-01-2025Readings shared January 9, 2025
06-01-2025Readings shared January 6, 2025
03-01-2025Readings shared January 3, 2025
01-01-2025Readings shared January 1, 2025
25-12-2024Readings shared December 25, 2024
23-12-2024Readings shared December 23, 2024
15-12-2024Readings shared December 15, 2024
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