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--	2665	CLAUDE.md	blob \| history \| raw
drwxr-xr-x	-	inc	tree \| history
-rw-r--r--	555	meson.build	blob \| history \| raw
drwxr-xr-x	-	src	tree \| history
drwxr-xr-x	-	test	tree \| history

provably correct C with weakest preconditions