npm.io
Equational Packages
umpire
A logical framework
logic
static
type
checking
theory
parser
equational
0.0.1 • Published 12 years ago