Benchmark
NTP4VC
A formal benchmark for program verification conditions, used to evaluate the ability to generate and prove verification conditions.
Timeline (last 90 days)
Oct 30
EasyProver solved 597/600 verification conditions on NTP4VC.
Unverified50%