lambda-mountain icon indicating copy to clipboard operation
lambda-mountain copied to clipboard

Published 20 hours ago • verified publisher icon andrew-johnson-4

Coq verification assert reachability of all assertions

Open andrew-johnson-4 opened this issue 1 year ago • 0 comments

start by asserting hello world example

andrew-johnson-4 avatar Sep 01 '24 01:09 andrew-johnson-4