'Galculator': functional prototype of a Galois-connection based proof assistant.

Paulo F. Silva, Jos Nuno Oliveira

Browse the full PPDP paper archive.