PrIKL is a automatic theorem prover for IKL.    (39UZ)

... (details coming!)    (39V0)