Calculational Assistant for Programming from Specifications
HTML JavaScript Scala CSS TypeScript
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
ProgSynthSBT
ProgSynthWebApp
Readme.md

Readme.md

CAPS : Calculational Assistant for Programming from Specifications.