Name: Johannes
Type: User
Company: Utrecht University
Bio: I am Johannes, a mathematical philosopher, who mainly works at the intersection of logic, epistemology, and metaphysics.
Location: Utrecht, The Netherlands
Blog: http://jkorbmacher.org/
Johannes's Projects
Config for my toolbox
Custom nvim-cmp completion source for email addresses using mu
The source-files for my academic CV
Email filetype plugin for nvim. Mainly for personal use
This repo hosts the source material for my course "Advanced Logic", which is a second-year course in philosophical logic taught at Utrecht University.
Repository for my personal, academic homepage
This is the source material for the course "Inleiding Logica" (KI1V13001) as taught at Utrecht University for the BSc "Kunstmatige Intelligentie"
This repository hosts the source files for the guideline for tutors and mentors in our first-year tutoring program for artificial intelligence KI1V14005 - Tutoraat KI, Basis.
The website for my new textbook "Logical Methods in AI"
Provides external LTeX file handling (off-spec lsp) and other functions.
This repository hosts a bibliographical database of my academic publications.
This repository hosts a bibliographical database of my academic talks.
LaTeX class for typesetting letters in the UU housestyle. Meant for UU employees only.
Wrapper around report class that produces documents with UU coporate identity. Meant or UU employees only.