About Joseph Vidal-Rosset

Research Interests

  • Philosophy of Logic
  • Proof Theory
  • Epistemology
  • Free Software Philosophy

Tools & Workflow

This blog is entirely written and maintained using:

  • GNU Emacs
  • Org-mode
  • Free Software tools

Everything is published using Emacs Org-publish with custom CSS.