Caesar

At a Glance

Applications	Probabilistic Program Prover
Developers	RWTH Aachen
Inputs	HeyVL
Interfaces	CLI VSCode
Licenses	MIT
Maintenance	Actively Maintained

Caesar is a deductive verifier for probabilistic programs.