]> begriffs open source - acsl-example/commit
begriffs.com / projects / acsl-example / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: e4319af) | patch
Claude guidance for keeping proofs fast
authorJoe Nelson <joe@begriffs.com>
Fri, 5 Sep 2025 05:00:00 +0000 (00:00 -0500)
committerJoe Nelson <joe@begriffs.com>
Fri, 5 Sep 2025 05:00:00 +0000 (00:00 -0500)
commit041903657a09350b34d631adaa60e5abc8bf5465
treefc8e5df7779ecb0f812ca21a2336b59c87325742tree | snapshot
parente4319af06a9589f2b0289f1b021c3287ad8b274fcommit | diff
Claude guidance for keeping proofs fast
CLAUDE.md [new file with mode: 0644] blob
provably correct C with weakest preconditions