Search Package Index

2 packages found

	Package	Description	Build
-1689532359	forge tim_nelsonλf959b50	A model-finding language with Alloy-adjacent syntax. This package needs documentation Tags: alloy education logic modeling relational This package needs license metadata	succeeds; has failing tests	5
-1689532375	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; has failing tests	5

Package

Description

Build