Content deleted Content added
According to the GitHub repository, F* has seen new releases since 2023. The last one was just two months ago. |
Updated the access date of the GitHub reference since the repository was visited in order to make the previous change |
||
Line 45:
|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 name="GitHubCode">{{cite web |url=https://github.com/FStarLang/FStar |title=FStarLang/FStar |website=GitHub |access-date=
==History==
| |||