RetroFed Forum
Your home away from modern life.
Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK
Post Reply
AuthorMessage
MarcusE1W lemmy.world MarcusE1W@lemmy.world
Joined: 2024-12-22
Quote

2   Original
Post Reply
Back to top