Exposes a common interface used to check inferences.
The main exposed type is the [InferenceChecker], which can be implemented to verify whether
inferences are sound w.r.t. an inference rule.
Exposes a common interface used to check inferences.
The main exposed type is the [InferenceChecker], which can be implemented to verify whether
inferences are sound w.r.t. an inference rule.