/init

Pre-built Sireum self-contained jar releases for bootstrapping Sireum

init