umpire (npm): A logical framework
Keywords: logic|static|type|checking|theory|parser|equational