Co-Developing Programs and Their Proof of Correctness – The Spark Toolsetcacm.acm.org1 point·touisteur··0 commentsOpen articleSaveView on HN