]>
begriffs open source - acsl-example/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Joe Nelson [Fri, 5 Sep 2025 05:00:00 +0000 (00:00 -0500)]
Separate proof headers from library headers
Joe Nelson [Fri, 5 Sep 2025 05:00:00 +0000 (00:00 -0500)]
Better organization for fast proofs
Joe Nelson [Fri, 5 Sep 2025 05:00:00 +0000 (00:00 -0500)]
Initial examples from book
begriffs.com / projects / acsl-example / log