F* (Russian Wikipedia)

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

refsWebsite

Global rank Russian rank

2web.archive.org

1^st place

1^st place

383^rd place

298^th place

low place

low place

1fstar-lang.org

low place

low place

fstar-lang.org

https://www.fstar-lang.org/#people

github.com

Release 0.9.6.0 — 2018.
FStarLang/FStar (неопр.). GitHub. Дата обращения: 28 мая 2020. Архивировано 10 июля 2020 года.

msr-inria.fr

Microsoft Research Inria Joint Centre (неопр.). MSR-INRIA. Дата обращения: 28 мая 2020. Архивировано 21 мая 2020 года.

web.archive.org

Microsoft Research Inria Joint Centre (неопр.). MSR-INRIA. Дата обращения: 28 мая 2020. Архивировано 21 мая 2020 года.
FStarLang/FStar (неопр.). GitHub. Дата обращения: 28 мая 2020. Архивировано 10 июля 2020 года.