FZ Proof C Platform