CalcLogic: Functional Implementation of an Interactive Proof Assistant for Dijkstra-Scholten Calculational Logic.

Federico Flaviani, Leonardo Lpez, Ronald Becerra, Jorge Baralt-Torrijos

Browse the full CLEI paper archive.