Home

Jump to bottom

Shon Feder edited this page Jan 14, 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/4

Clone this wiki locally