2020-08-13, updated 2020-08-13 next - previous


I am Joseph Vidal-Rosset, currently Lecturer (Maître de conférences HDR) at Lorraine University (Nancy, France).

This blog is devoted to logico-philosophical posts, provers, emacs setup and personal posts.

ORCID           iD

Author: Joseph Vidal-Rosset

Date: 2020-08-13 jeu. 09:08

Blog: https://wwww.vidal-rosset.net

Made with Emacs 27.1 (Org mode 9.3.7) and Org export head (Many thanks to Ivan Tadeu Ferreira Antunes Filho!;)