F* (programming language): Difference between revisions

Revision as of 21:58, 17 April 2023

Revision as of 20:00, 20 April 2023

Line 50:

|publisher=Association for Computing Machinery

|url=https://dl.acm.org/doi/10.1145/2034773.2034811

|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>{{cite web|url=https://github.com/FStarLang/FStar|title=FStarLang/FStar|website=GitHub|access-date=17 April 2023 }}</ref>

==History==

Line 130:

[[Category:Dependently typed languages]]

[[Category:Automated theorem proving]]

[[Category:Programming languages created in 20132011]]

[[Category:Proof assistants]]

[[Category:20132011 software]]

{{prog-lang-stub}}