Search Package Index

New

forge

• thomas_del_vecchio@brown.edu
• charles_cutting@brown.edu
• tim_nelson@brown.edu

A model-finding language with Alloy-adjacent syntax.

This package needs documentation