issues
search
Deducteam
/
lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
Other
269
stars
35
forks
source link
allow why3 1.7
#1023
Closed
fblanqui
closed
10 months ago