verus
forked from verus-lang/verus
Star 0
Fork 0
Watch

Version history of source/docs/guide/src/llms.md

May 2026

shan
Adding a LLMs-for-Verus chapter into the tutorial. (#2429)
committed