Search Package Index

forge

• charles_cutting@brown.edu,
• alexander_varga@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 tags