coq-inconsequential_modus_ponens Versions (2)

Version Release Date Links
1.0.6 25 Sep 2022 Documentation
1.0.5 21 Aug 2022 Documentation