Joseph Vidal-Rosset - Personal Blog
2021-01-28, updated 2021-01-28 next - previous
Michel Levy’s Prover or Original Website
See also Michel Levy’s
Made with Emacs 27.1 (Org mode 9.4.4)
org-export-head, a blog exporter.
The css file of this blog is mainly the result of
Zhitao Gong's work.