2 ms·Abella an interactive theorem prover based on lambda-tree syntax3 points by haskellandchill 6y ago