"A Haskell Theorem Prover"

Supervised by Dr MP Stannett

Abstract

copy the text here. You can use *simple* html, e.g.This is the first paragraph of my great work

This is the next paragraph. This bit is in italic