Search Package Index

forge

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

A model finding language with Alloy-adjacent syntax.

This package needs documentation

This package needs tags