GitHub repository: Aerate/condatis
Primary language: Agda
Created: 2017-05-23T20:49:14Z
Description: Verifying Functional Reactive Programs with Side Effects