SpecForge – A Platform for Authoring Formal Specifications

aagnishom about 3 hours ago 1 commentsRead Article on docs.imiron.io

Discussion (1 Comments)Read Original on HackerNews

IshKebab•about 2 hours ago

Strong SVA vibes. Also it seems to be only free for non-commercial use. Interesting anyway!