Search Package Index

1 packages found

	Package	Description	Build
-1596547928	forge alexander_varga@brown.edu thomas_del_vecchio@brown.edu charles_cutting@brown.edu tim_nelson@brown.edu luke_west@brown.edu	A model finding language with Alloy-adjacent syntax. This package needs documentation This package needs tags	succeeds; has failing tests	4

Package

Description

Build

forge

A model finding language with Alloy-adjacent syntax.

This package needs documentation

This package needs tags