lambdapi icon indicating copy to clipboard operation
lambdapi copied to clipboard
verified publisher icon Deducteam

lambdapi export -o dk fails on files using builtin strings (e.g. Tactic.lp)

Open fblanqui opened this issue 10 months ago • 0 comments

fblanqui avatar May 03 '25 15:05 fblanqui