codeinabox@programming.devM to

AI Coding@programming.devEnglish · 3 days ago

Agentic Proof-Oriented Programming

risemsr.github.io

0

1

Agentic Proof-Oriented Programming

risemsr.github.io

codeinabox@programming.devM to

AI Coding@programming.devEnglish · 3 days ago

0

Exploring AI-assisted proof-oriented programming with Copilot CLI and F*.

cross-posted from: https://lemmy.bestiver.se/post/906389

Comments

You must log in or register to comment.

Chat