Space: MoonStoryAI/Modelizer
title: Modelizer
sdk: static
app_build_command: npm run build
license: mit
short_description: Modelizer is the model checking center (WIP)
Tags: static, region:us