Search Package Index

2 packages found

	Package	Description	Build
-1750082027	forge tim_nelsonλf959b50	A model-finding language with Alloy-adjacent syntax. This package needs documentation Tags: alloy education logic modeling relational License: MIT	succeeds; has failing tests	5
-1750082033	froglet tim_nelsonλf959b50 typesλ08a2fb0	A tiny model-finding language with Alloy-adjacent syntax. Teaching language for forge. This package needs documentation Tags: alloy education logic modeling relational teaching This package needs license metadata	succeeds	4

Package

Description

Build