Unclaimed project

Are you a maintainer of apalache? Claim this project to take control of your public changelog and roadmap.