lambdapi icon indicating copy to clipboard operation
lambdapi copied to clipboard

Published 20 hours ago • verified publisher icon Deducteam

Why3 as an optional dependency ?

Open francoisthire opened this issue 5 years ago • 1 comments

Would it be possible to have why3 as an optional dependency of the project?

francoisthire avatar Jan 28 '20 13:01 francoisthire

that would be nice indeed... currently, the various tactics are "hardcoded" (and in particular, the why3 tactic) in the parser src/parser.ml

Rehan-MALAK avatar Jan 28 '20 13:01 Rehan-MALAK