FStarLang/FStarF*A Proof-oriented Programming LanguageÚltimo commit 14 de jul. de 20263.068 stars (3.068 stars)258 forks (258 forks)8 issues indexadas (8 issues indexadas)8 good first issues abertas (8 good first issues abertas)