Ranjit Jhala

AIを活用してDafnyコードの検証用の補助アサーションを生成するツール。