FZ Proof Apps Platform