||| Provides the whole public interface of the proof tools. Import ||| `Pruviloj.Core` for just the simplest tactics. module Pruviloj import public Pruviloj.Core import public Pruviloj.Disjoint import public Pruviloj.Induction import public Pruviloj.Injective