@inproceedings{TFPIE-2016-Ragde,
	author        = "Prabhakar Ragde",
	booktitle     = "{Proceedings of the Fifth International Workshop on Trends in Functional Programming in Education}",
	doi           = "10.4204/EPTCS.230.5",
	ee            = "http://arxiv.org/abs/1611.09473",
	pages         = "63--75",
	title         = "{Proust: A Nano Proof Assistant}",
	year          = 2016,
}