New options:
-lp outputs a standalone lambdapi file
-lpterm outputs a lambdapi file that rewrites a symbol S.goal_name to the proof, where goal_name is the name of the conjecture and S is the signature file where all symbols (including goal_name) are defined.
Output for lambdapi
New options: -lp outputs a standalone lambdapi file -lpterm outputs a lambdapi file that rewrites a symbol S.goal_name to the proof, where goal_name is the name of the conjecture and S is the signature file where all symbols (including goal_name) are defined.