Content deleted Content added
Mainframe98 (talk | contribs) m Remove deprecated inage syntax; I've not defined an image size, to allow user preferences and template defaults to handle that |
mNo edit summary |
||
Line 87:
*[https://github.com/FStarLang/FStar F* source code on GitHub]
*[https://www.fstar-lang.org/tutorial/ F* tutorial]
{{Microsoft FOSS}}
{{Microsoft Research}}
{{DEFAULTSORT:F star (programming language)}}
Line 96 ⟶ 99:
[[Category:Automated theorem proving]]
[[Category:Proof assistants]]
{{prog-lang-stub}}
| |||