GitHub repository: Chen-PL/abella
Description: An interactive theorem prover based on lambda-tree syntax