Explore projects

LaTeX templates for:

presentations lecture slides research project reports (like Bachelor, Master, or PhD theses, but also much smaller ones)

Created by Pascal Bercher (credit appreciated), though some parts may have contributions by others.

LaTeX templates for:

presentations lecture slides research project reports (like Bachelor, Master, or PhD theses, but also much smaller ones)

Created by Pascal Bercher (credit appreciated), though some parts may have contributions by others.

LaTeX templates for:

presentations lecture slides research project reports (like Bachelor, Master, or PhD theses, but also much smaller ones)

Created by Pascal Bercher (credit appreciated), though some parts may have contributions by others.

my PhD. thesis.

A demonstration of writing papers quickly in markdown -- for both ACM and LLNCS formats.

A demonstration of writing papers quickly in markdown -- for both ACM and LLNCS formats.

HOL4 formalisation of core microvm

my PhD. thesis.