sofia-m-a

Advanced
@sofia-m-a

proof-daemon. Simple solver for intuitionistic propositional logic

3

pltest. C++

1
2
Apply