I

ipm-fscq-demo

This is a demo showing how the the Iris Proof Mode can be used with FSCQ.