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

Download Links

Git repo

Slides