TLAPS-Bench: Formally Proving Correctness with TLA+ Proof System

1 pointsposted 9 hours ago
by matt_d
(arxiv.org)

No comments yet