jaalonso / Lecturas_GLC

Readings on computational logic, interactive theorem proving and functional programming.

Repository from Github https://github.comjaalonso/Lecturas_GLCRepository from Github https://github.comjaalonso/Lecturas_GLC

Readings on computational logic, interactive theorem proving and functional programming

This repository is a collection of readings shared on Twitter about computational logic, interactive theorem proving and functional programming.

The collection is sorted by the date of its publication on Twitter.

At the end of each article you will find tags related to the systems it uses or its content.

Content

Lecturas del año 2024

Diciembre 2024

01-Dic-24

Noviembre 2024

30-Nov-24

29-Nov-24

28-Nov-24

27-Nov-24

26-Nov-24

25-Nov-24

24-Nov-24

23-Nov-24

22-Nov-24

21-Nov-24

20-Nov-24

19-Nov-24

18-Nov-24

17-Nov-24

16-Nov-24

15-Nov-24

14-Nov-24

13-Nov-24

12-Nov-24

11-Nov-24

10-Nov-24

09-Nov-24

08-Nov-24

07-Nov-24

05-Nov-24

04-Nov-24

03-Nov-24

02-Nov-24

01-Nov-24

Octubre 2024

31-Oct-24

30-Oct-24

29-Oct-24

28-Oct-24

27-Oct-24

26-Oct-24

25-Oct-24

23-Oct-24

22-Oct-24

21-Oct-24

20-Oct-24

19-Oct-24

18-Oct-24

17-Oct-24

16-Oct-24

15-Oct-16

14-Oct-24

13-Oct-24

12-Oct-24

11-Oct-24

10-Oct-24

09-Oct-24

08-Oct-24

07-Oct-24

06-Oct-24

05-Oct-24

04-Oct-24

03-Oct-24

01-Oct-24

Septiembre 2024

30-Sep-24

29-Sep-24

28-Sep-24

27-Sep-24

26-Sep-24

25-Sep-24

24-Sep-24

23-Sep-24

22-Sep-24

21-Sep-24

20-Sep-24

19-Sep-24

18-Sep-24

17-Sep-24

16-Sep-24

15-Sep-24

14-Sep-24

13-Sep-24

12-Sep-24

11-Sep-24

10-Sep-24

09-Sep-24

08-Sep-24

07-Sep-24

06-Sep-24

05-Sep-24

04-Sep-24

03-Sep-24

02-Sep-24

01-Sep-24

Agosto 2024

31-Ago-24

30-Ago-24

29-Ago-24

28-Ago-24

27-Ago-24

26-Ago-24

24-Ago-24

23-Ago-24

22-Ago-24

21-Ago-24

20-Ago-24

19-Ago-24

18-Ago-24

16-Ago-24

15-Ago-24

14-Ago-24

13-Ago-24

10-Ago-24

09-Ago-24

07-Ago-24

05-Ago-24

04-Ago-24

01-Ago-24

Julio 2024

31-Jul-24

30-Jul-24

29-Jul-24

28-Jul-24

27-Jul-24

26-Jul-24

25-Jul-24

24-Jul-24

23-Jul-24

22-Jul-24

21-Jul-24

20-Jul-24

19-Jul-24

16-Jul-24

15-Jul-24

14-Jul-24

13-Jul-24

12-Jul-24

10-Jul-24

09-Jul-24

07-Jul-24

06-Jul-24

05-Jul-24

04-Jul-24

02-Jul-24

01-Jul-24

Junio 2024

30-Jun-24

29-Jun-24

28-Jun-24

27-Jun-24

26-Jun-24

25-Jun-24

24-Jun-24

23-Jun-24

22-Jun-24

21-Jun-24

20-Jun-24

19-Jun-24

18-Jun-24

17-Jun-24

16-Jun-24

15-Jun-24

14-Jun-24

12-Jun-24

11-Jun-24

09-Jun-24

08-Jun-24

07-Jun-24

06-Jun-24

05-Jun-24

04-Jun-24

02-Jun-24

Mayo 2024

31-May-24

30-May-24

29-May-24

27-May-24

26-May-24

25-May-24

24-May-24

23-May-24

21-May-24

20-May-24

19-May-24

18-May-24

16-May-24

15-May-24

14-May-24

12-May-24

11-May-24

10-May-24

09-May-24

08-May-24

07-May-24

05-May-24

04-May-24

03-May-24

02-May-24

01-May-24

Abril 2024

30-Abr-24

27-Abr-24

25-Abr-24

24-Abr-24

23-Abr-24

22-Abr-24

21-Abr-24

20-Abr-24

19-Abr-24

18-Abr-24

17-Abr-24

16-Abr-24

15-Abr-24

14-Abr-24

13-Abr-24

12-Abr-24

11-Abr-24

10-Abr-24

09-Abr-24

08-Abr-24

07-Abr-24

06-Abr-24

05-Abr-24

04-Abr-24

03-Abr-24

02-Abr-24

01-Abr-24

Marzo 2024

30-Mar-24

29-Mar-24

28-Mar-24

27-Mar-24

26-Mar-24

25-Mar-24

24-Mar-24

23-Mar-24

22-Mar-24

21-Mar-24

20-Mar-24

19-Mar-24

18-Mar-24

17-Mar-24

16-Mar-24

15-Mar-24

14-Mar-24

13-Mar-24

12-Mar-24

11-Mar-24

10-Mar-24

09-Mar-24

08-Mar-24

07-Mar-24

06-Mar-24

05-Mar-24

04-Mar-24

03-Mar-24

02-Mar-24

01-Mar-24

Febrero 2024

29-Feb-24

28-Feb-24

27-Feb-24

26-Feb-24

25-Feb-24

24-Feb-24

23-Feb-24

22-Feb-24

21-Feb-24

20-Feb-24

17-Feb-24

16-Feb-24

15-Feb-24

14-Feb-24

13-Feb-24

11-Feb-24

10-Feb-24

09-Feb-24

08-Feb-24

07-Feb-24

06-Feb-24

05-Feb-24

03-Feb-24

02-Feb-24

01-Feb-24

Enero 2024

30-Ene-24

28-Ene-24

27-Ene-24

26-Ene-24

25-Ene-24

24-Ene-24

23-Ene-24

22-Ene-24

20-Ene-24

19-Ene-24

18-Ene-24

17-Ene-24

16-Ene-24

14-Ene-24

13-Ene-24

12-Ene-24

11-Ene-24

10-Ene-24

08-Ene-24

07-Ene-24

06-Ene-24

04-Ene-24

03-Ene-24

02-Ene-24

01-Ene-24

Lecturas del año 2023

Diciembre 2023

31-Dic-23

30-Dic-23

29-Dic-23

28-Dic-23

26-Dic-23

25-Dic-23

24-Dic-23

  • Mathematical proof between generations. ~ Jonas Bayer, Christoph Benzmüller, Kevin Buzzard, Marco David, Leslie Lamport, Yuri Matiyasevich, Lawrence Paulson, Dierk Schleicher, Benedikt Stock, Efim Zelmanov. #ITP #Math

23-Dic-23

21-Dic-23

20-Dic-23

19-Dic-23

18-Dic-23

16-Dic-23

15-Dic-23

13-Dic-23

12-Dic-23

11-Dic-23

10-Dic-23

09-Dic-23

08-Dic-23

07-Dic-23

06-Dic-23

03-Dic-23

Noviembre 2023

30-Nov-23

29-Nov-23

28-Nov-23

26-Nov-23

25-Nov-23

24-Nov-23

21-Nov-23

20-Nov-23

19-Nov-23

18-Nov-23

17-Nov-23

16-Nov-23

15-Nov-23

14-Nov-23

13-Nov-23

12-Nov-23

10-Nov-23

09-Nov-23

08-Nov-23

07-Nov-23

06-Nov-23

05-Nov-23

04-Nov-23

03-Nov-23

02-Nov-23

01-Nov-23

Octubre 2023

31-Oct-23

29-Oct-23

28-Oct-23

27-Oct-23

26-Oct-23

24-Oct-23

23-Oct-23

22-Oct-23

20-Oct-23

18-Oct-23

17-Oct-23

16-Oct-23

15-Oct-23

14-Oct-23

13-Oct-23

12-Oct-23

11-Oct-23

10-Oct-23

09-Oct-23

08-Oct-23

07-Oct-23

06-Oct-23

05-Oct-23

04-Oct-23

03-Oct-23

02-Oct-23

01-Oct-23

Septiembre 2023

30-Sep-23

29-Sep-23

28-Sep-23

27-Sep-23

26-Sep-23

25-Sep-23

24-Sep-23

23-Sep-23

22-Sep-23

20-Sep-23

19-Sep-23

17-Sep-23

16-Sep-23

14-Sep-23

13-Sep-23

12-Sep-23

11-Sep-23

10-Sep-23

09-Sep-23

08-Sep-23

07-Sep-23

05-Sep-23

04-Sep-23

02-Sep-23

01-Sep-23

Agosto 2023

31-Ago-23

30-Ago-23

29-Ago-23

27-Ago-23

26-Ago-23

25-Ago-23

23-Ago-23

22-Ago-23

21-Ago-23

20-Ago-23

19-Ago-23

18-Ago-23

17-Ago-23

16-Ago-23

15-Ago-23

12-Ago-23

11-Ago-23

10-Ago-23

09-Ago-23

08-Ago-23

07-Ago-23

06-Ago-23

05-Ago-23

04-Ago-23

03-Ago-23

02-Ago-23

01-Ago-23

Julio 2023

31-Jul-23

29-Jul-23

28-Jul-23

27-Jul-23

26-Jul-23

25-Jul-23

23-Jul-23

22-Jul-23

21-Jul-23

20-Jul-23

19-Jul-23

18-Jul-23

17-Jul-23

16-Jul-23

15-Jul-23

14-Jul-23

13-Jul-23

12-Jul-23

11-Jul-23

10-Jul-23

08-Jul-23

07-Jul-23

06-Jul-23

04-Jul-23

03-Jul-23

01-Jul-23

Junio 2023

30-Jun-23

29-Jun-23

28-Jun-23

27-Jun-23

26-Jun-23

24-Jun-23

23-Jun-23

22-Jun-23

21-Jun-23

20-Jun-23

19-Jun-23

18-Jun-23

17-Jun-23

16-Jun-23

15-Jun-23

14-Jun-23

13-Jun-23

12-Jun-23

11-Jun-23

10-Jun-23

09-Jun-23

08-Jun-23

07-Jun-23

06-Jun-23

05-Jun-23

04-Jun-23

03-Jun-23

02-Jun-23

01-Jun-23

Mayo 2023

31-May-23

30-May-23

29-May-23

28-May-23

27-May-23

26-May-23

25-May-23

24-May-23

23-May-23

22-May-23

20-May-23

19-May-23

18-May-23

17-May-23

16-May-23

15-May-23

14-May-23

12-May-23

10-May-23

09-May-23

08-May-23

07-May-23

06-May-23

05-May-23

04-May-23

03-May-23

02-May-23

01-May-23

Abril 2023

30-Abr-23

29-Abr-23

28-Abr-23

27-Abr-23

26-Abr-23

25-Abr-23

24-Abr-23

23-Abr-23

22-Abr-23

21-Abr-23

20-Abr-23

18-Abr-23

17-Abr-23

15-Abr-23

14-Abr-23

13-Abr-23

12-Abr-23

11-Abr-23

10-Abr-23

09-Abr-23

08-Abr-23

07-Abr-23

06-Abr-23

05-Abr-23

04-Abr-23

03-Abr-23

02-Abr-23

01-Abr-23

Marzo 2023

31-Mar-23

30-Mar-23

29-Mar-23

28-Mar-23

24-Mar-23

25-Mar-23

27-Mar-23

23-Mar-23

22-Mar-23

21-Mar-23

20-Mar-23

19-Mar-23

18-Mar-23

17-Mar-23

16-Mar-23

15-Mar-23

14-Mar-23

13-Mar-23

12-Mar-23

11-Mar-23

10-Mar-23

09-Mar-23

08-Mar-23

07-Mar-23

06-Mar-23

05-Mar-23

04-Mar-23

03-Mar-23

02-Mar-23

01-Mar-23

Febrero 2023

28-Feb-23

27-Feb-23

26-Feb-23

25-Feb-23

24-Feb-23

23-Feb-23

22-Feb-23

21-Feb-23

20-Feb-23

19-Feb-23

17-Feb-23

16-Feb-23

15-Feb-23

14-Feb-23

13-Feb-23

12-Feb-23

11-Feb-23

10-Feb-23

About

Readings on computational logic, interactive theorem proving and functional programming.

License:GNU General Public License v3.0