PrIKL

 PrIKL  is a automatic theorem prover for IKL.

... (details coming!)