# Natural Deduction in Agda

I implemented natural deduction in Agda and presented this at a mini-workshop (CID) at the University of Canterbury on March 4th, 2019.

Mathematics Postgraduate from New Zealand

I implemented natural deduction in Agda and presented this at a mini-workshop (CID) at the University of Canterbury on March 4th, 2019.

A talk I gave at CCC 2018.

Slides for my Thesis in Three presentations on minimal logic.

Slides for a seminar I gave at Swansea University and the University of Padua.

Slides for a talk I gave for my doctoral confirmation.

Slides for a talk I gave on reverse mathematics over minimal logic.

Many code snippets I write are available at gist.lsw.nz. Some snippets are very useful to me, and are (I believe) nicely written. Others are just amusing, should not be used for any practical purposes. Proceed with caution.

These instructions are very bare, and intended only for my own use.

I have written a template for latex. Its primary feature is the included
Makefile, which enables easy compilation, recompilation for fixing references,
and compatibility with bibtex. It also features the capability of compiling a
document as a draft purely through the command-line. This is completely
customisable; by default it turns on `todonotes`

, `showlabels`

, and shows the
relevant git commit information.

Slides for the summer project I did on Frege’s Grundgesetze.

The report for my honours project.

Added my dotfiles repo here.