implicational - Robuta Search

https://nuprl-web.cs.cornell.edu/MathLibrary/LogicalInvestigations/implication.html The Minimal Implicational Calculus implementing computational mathematics and providing logic-based tools that help automate programming the minimal calculus