eu.timepit.refined
Evidence that states if the conclusion C can be inferred from the premise P or not.
C
P
Evidence that states if the conclusion
C
can be inferred from the premiseP
or not.