FStarLang/FStar

**Summary** FStarLang/FStar is a proof‑oriented programming language that lets developers embed formal verification into AI‑centric code, making it easier to pr