Vitus Schäfftlein's blog about philosophy, logic and open source academia
Primary LanguageEmacs LispMIT LicenseMIT