1211 Solutions and counting.
Kopitiam is an Eclipse plugin for certifying full functional
correctness of Java programs using a higher-order separation
logic. Kopitiam extends the Java IDE with an interactive environment
Last Updated on Wednesday, December 14, 2022 - 09:48 by Hannes Mehnert