swMATH27563MaRDI QIDQ39279
No author found.
Source code repository: https://github.com/FStarLang/FStar
Described by source