OBJ2
Extension of
OBJ3
Written using
2OBJ (3684)
Meta-logical framework theorem prover