F* (Chinese Wikipedia)

Analysis of information sources in references of the Wikipedia article "F*" in Chinese language version.

refsWebsite

Global rank Chinese rank

383^rd place

336^th place

1web.archive.org

1^st place

1^st place

github.com

Release 0.9.6.0. 2018年5月17日 [2022年10月4日].
FStarLang/FStar. GitHub. [2020-01-11]. （原始内容存档于2020-07-10）.

web.archive.org

FStarLang/FStar. GitHub. [2020-01-11]. （原始内容存档于2020-07-10）.