SpecForge – A Platform for Authoring Formal Specifications

33 points by agnishom 2 hours ago | 1 comment

IshKebab 1 hour ago |

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

IshKebab 1 hour ago |

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