F* (Q5423569)
Jump to navigation
Jump to search
functional programming language inspired by ML and aimed at program verification
- Fstar
- F star
- FStar
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | F* |
functional programming language inspired by ML and aimed at program verification |
|
Statements
1 reference
2 March 2022
0.9.0
28 August 2015
1 reference
4 October 2022
Release 0.9.0 (English)
28 August 2015
0.9.1
13 October 2015
1 reference
4 October 2022
Release 0.9.1 (English)
13 October 2015
0.9.1.1
13 October 2015
1 reference
4 October 2022
Release 0.9.1.1 (English)
13 October 2015
0.9.4.0
2 February 2017
1 reference
4 October 2022
Release 0.9.4.0 (English)
2 February 2017
0.9.5.0
23 August 2017
1 reference
4 October 2022
Release 0.9.5.0 (English)
23 August 2017
0.9.6.0
17 May 2018
1 reference
4 October 2022
Release 0.9.6.0 (English)
17 May 2018
Identifiers
Sitelinks
Wikipedia(8 entries)
- enwiki F* (programming language)
- jawiki F* (プログラミング言語)
- kowiki F*
- nowiki F*
- ruwiki F*
- uzwiki F* (dasturlash tili)
- zh_yuewiki F*
- zhwiki F*