3 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat +4
Proof-oriented programs mix computational content with proofs of program correctness. However, the human effort involved in programming and proving is still substantial, despite th…