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

Improve why3 tactic

Open fblanqui opened this issue 1 year ago • 0 comments

See TODO list in #1174

fblanqui avatar Jan 28 '25 14:01 fblanqui