Paulo F. Silva, José Nuno Oliveira. Galculator : functional prototype of a Galois-connection based proof assistant. In Sergio Antoy, Elvira Albert, editors, Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain. pages 44-55, ACM, 2008. [doi]
Abstract is missing.