Proofs Promptly: Proof-Oriented Programming with AI Agents (Experience Report)
Posted 22 minutes ago by
matt_d
2
points
https://dl.acm.org/doi/10.1145/3828709
0
comments