Formally deriving programs from specifications (Bird-Meertens) using Lean 4

1 pointsposted 11 hours ago
by matt_d
(satnam6502.github.io)

No comments yet