we gotta talk about how to audit mechanized proofs. lots of us have been saying this since the early days of artifact evaluation but no one listened 🤷🏻
1 Boost
0 Likes
No replies yet
Be the first to share your thoughts.
