Home

Jump to bottom

Shon Feder edited this page Apr 1, 2023 · 8 revisions

Resources

Product Overview

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