Home

Jump to bottom

Shon Feder edited this page Apr 29, 2021 · 8 revisions

Resources

Websites

Current webpage: https://apalache.informal.systems
Old forsyte webpage: http://forsyte.at/research/apalache/

Development

(private) project board: https://github.com/orgs/informalsystems/projects/20

Clone this wiki locally