pguyot forked abella-prover/abella from pguyot/abella · June 29, 2026 12:56 pguyot/abella An interactive theorem prover based on lambda-tree syntax Updated Jun 29