2021-01-28, updated 2021-01-28 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

Made with Emacs 27.1 (Org mode 9.4.4) and with org-export-head, a blog exporter.

The css file of this blog is mainly the result of Zhitao Gong's work.

orgmode emacs isso debian mxlinux