What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus

Rijul Jain, Shraddha Barke, Gabriel Ebner +3

Proof-oriented programming languages (POPLs) empower developers to write code alongside formal correctness proofs, providing formal guarantees that the code adheres to specified re…