Federico Cassano

DafnyBenchはソフトウェア検証ツールのベンチマークを行って、信頼できるプログラミングへの道を開いてるよ。