begriffs open source - acsl-example/tree

]> begriffs open source - acsl-example/tree

begriffs.com / projects / acsl-example / tree

summary | shortlog | log | commit | commitdiff | tree
snapshot

-rw-r--r--	24	.gitignore	blob \| history \| raw
-rw-r--r--	3630	CLAUDE.md	blob \| history \| raw
drwxr-xr-x	-	inc	tree \| history
drwxr-xr-x	-	proof	tree \| history
drwxr-xr-x	-	scripts	tree \| history
drwxr-xr-x	-	src	tree \| history

provably correct C with weakest preconditions