feat(Logics/Propositional): further API for manipulating theories in natural deduction #542
background
wait
wait-all
cancel
Loading