jaalonso / Lecturas_GLC

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

Mayo 2024

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

09-Feb-23

08-Feb-23

07-Feb-23

06-Feb-23

05-Feb-23

04-Mar-23

03-Feb-23

02-Feb-23

01-Feb-23

Enero 2023

31-Ene-23

30-Ene-23

29-Ene-23

28-Ene-23

27-Ene-23

26-Ene-23

25-Ene-23

24-Ene-23

23-Ene-23

21-Ene-23

20-Ene-23

19-Ene-23

18-Ene-23

17-Ene-23

16-Ene-23

15-Ene-23

14-Ene-23

13-Ene-23

12-Ene-23

11-Ene-23

10-Ene-23

09-Ene-23

08-Ene-23

07-Ene-23

06-Ene-23

05-Ene-23

04-Ene-23

03-Ene-23

02-Ene-23

01-Ene-23

Lecturas del año 2022

Diciembre 2022

31-Dic-23

29-Dic-22

28-Dic-22

27-Dic-22

26-Dic-22

24-Dic-22

23-Dic-22

22-Dic-22

21-Dic-22

20-Dic-22

19-Dic-22

18-Dic-22

17-Dic-22

15-Dic-22

14-Dic-22

13-Dic-22

12-Dic-22

11-Dic-22

10-Dic-22

09-Dic-22

07-Dic-22

06-Dic-22

05-Dic-22

03-Dic-22

02-Dic-22

01-Dic-22

Noviembre 2022

30-Nov-22

29-Nov-22

26-Nov-22

25-Nov-22

24-Nov-22

23-Nov-22

22-Nov-22

20-Nov-22

19-Nov-22

18-Nov-22

17-Nov-22

16-Nov-22

15-Nov-22

14-Nov-22

13-Nov-22

12-Nov-22

10-Nov-22

09-Nov-22

08-Nov-22

07-Nov-22

05-Nov-22

04-Nov-22

03-Nov-22

02-Nov-22

01-Nov-22

Octubre 2022

31-Oct-22

30-Oct-22

29-Oct-22

28-Oct-22

27-Oct-22

26-Oct-22

25-Oct-22

24-Oct-22

23-Oct-22

22-Oct-22

21-Oct-22

20-Oct-22

19-Oct-22

18-Oct-22

17-Oct-22

16-Oct-22

15-Oct-22

14-Oct-22

13-Oct-22

12-Oct-22

11-Oct-22

09-Oct-22

05-Oct-22

04-Oct-22

03-Oct-22

02-Oct-22

01-Oct-22

Septiembre 2022

30-Sep-22

29-Sep-22

28-Sep-22

27-Sep-22

26-Sep-22

25-Sep-22

24-Sep-22

23-Sep-22

22-Sep-22

21-Sep-22

20-Sep-22

19-Sep-22

18-Sep-22

17-Sep-22

16-Sep-22

15-Sep-22

14-Sep-22

13-Sep-22

12-Sep-22

11-Sep-22

10-Sep-22

09-Sep-22

08-Sep-22

07-Sep-22

06-Sep-22

05-Sep-22

04-Sep-22

03-Sep-22

02-Sep-22

01-Sep-22

Agosto 2022

31-Ago-22

30-Ago-22

29-Ago-22

28-Ago-22

27-Ago-22

26-Ago-22

23-Ago-22

22-Ago-22

20-Ago-22

19-Ago-22

18-Ago-22

17-Ago-22

16-Ago-22

15-Ago-22

14-Ago-22

13-Ago-22

12-Ago-22

11-Ago-22

10-Ago-22

09-Ago-22

08-Ago-22

07-Ago-22

06-Ago-22

05-Ago-22

04-Ago-22

03-Ago-22

01-Ago-22

Julio 2022

31-Jul-22

30-Jul-22

29-Jul-22

28-Jul-22

27-Jul-22

26-Jul-22

25-Jul-22

24-Jul-22

About

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

License:GNU General Public License v3.0