Agentic Proof-Oriented Programming
Posted 2 hours ago by
woggy
1
points
https://fstar-lang.org/tutorial/book/agentic/agentic.html#agentic-proof-oriented-programming
0
comments