F* (programming language): Difference between revisions

Browse history interactively

← Previous edit

Content deleted Content added

VisualWikitext

Revision as of 22:12, 17 May 2025 edit 46.193.65.196 (talk) According to the GitHub repository, F* has seen new releases since 2023. The last one was just two months ago. ← Previous edit		Latest revision as of 11:24, 5 July 2025 edit undo Widefox (talk \| contribs) Autopatrolled, Extended confirmed users, Page movers, IP block exemptions, New page reviewers, Pending changes reviewers, Rollbackers 110,643 edits →External links: destub
(5 intermediate revisions by 4 users not shown)
Line 21: \| implementations = \| dialects = \| influenced by = ~~[[Coq (software)\|Coq]],~~ [[Dafny (programming language)\|Dafny]], [[F Sharp (programming language)\|F#]], [[Lean (proof assistant)\|Lean]], [[OCaml]], [[Coq (software)\|Rocq]], [[Standard ML]] \| influenced = }} Line 45: \|publisher=Association for Computing Machinery \|url=https://dl.acm.org/doi/10.1145/2034773.2034811 \|access-date=17 April 2023\|url-access=subscription ~~\|access-date=17 April 2023~~}}</ref><ref>{{cite web \|url=https://www.microsoft.com/en-us/research/project/the-f-project/ \|title=The F* Project \|website=Microsoft \|access-date=20 April 2023}}</ref> and is under active development on [[GitHub]].<ref name="GitHubCode">{{cite web \|url=https://github.com/FStarLang/FStar \|title=FStarLang/FStar \|website=GitHub \|access-date=2318 ~~April~~May ~~2024~~2025}}</ref> ==History== Line 122 ⟶ 123: [[Category:Cross-platform free software]] [[Category:Software using the Apache license]] ~~{{Prog-lang-stub}}~~ [[Category:Statically typed programming languages]]