#846851 O: minlog -- Proof assistant based on first order natural deduction calculus

Package:
wnpp
Source:
wnpp
Submitter:
Tobias Frost
Date:
2016-12-03 17:27:06 UTC
Severity:
normal