FZ Proof Projects C Platform