Pruviloj.idr

||| 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