Search Package Index

2 packages found

	Package	Description	Build
-1730213159	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 dependency problems; has failing tests	5
-1730213165	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 dependency problems; has failing tests	5

Package

Description

Build