F* (programming language): Revision history

17 May 2025

• curprev 22:1722:17, 17 May 2025 46.193.65.196 talk 7,611 bytes +1 influenced by: updated Coq → Rocq undo
• curprev 22:1422:14, 17 May 2025 46.193.65.196 talk 7,610 bytes −2 Updated the access date of the GitHub reference since the repository was visited in order to make the previous change undo
• curprev 22:1222:12, 17 May 2025 46.193.65.196 talk 7,612 bytes 0 According to the GitHub repository, F* has seen new releases since 2023. The last one was just two months ago. undo

15 November 2024

• curprev 09:4909:49, 15 November 2024 Agilot talk contribs 7,612 bytes +52 Added in the list of statically typed programming languages (as described in 'Typing discipline'). undo Tag: Visual edit

5 September 2024

• curprev 18:3318:33, 5 September 2024 The Hurdy Gurdy Man talk contribs m 7,560 bytes −3 Consistency-edit: In the infobox, "The official _Fstar_ logo" -> "The official _F*_ logo". undo
• curprev 18:2718:27, 5 September 2024 The Hurdy Gurdy Man talk contribs m 7,563 bytes −1 →Data types: Removed plural "s". undo

21 June 2024

• curprev 06:0106:01, 21 June 2024 AJJLyman talk contribs m 7,564 bytes −28 Fixing links, because fsharp-lang.org no longer works with the "www." undo

14 May 2024

• curprev 11:2211:22, 14 May 2024 Jerryobject talk contribs 7,592 bytes +171 WP:LINKs add. undo

12 May 2024

• curprev 09:3509:35, 12 May 2024 Jerryobject talk contribs 7,421 bytes +46 →External links: WP:CATEGORY add. undo

25 April 2024

• curprev 07:0707:07, 25 April 2024 Jerryobject talk contribs 7,375 bytes +37 →External links: WP:CATEGORY add. undo

24 April 2024

• curprev 16:3016:30, 24 April 2024 Jerryobject talk contribs 7,338 bytes +92 →External links: WP:CATEGORYs: update, adds. undo

23 April 2024

• curprev 11:4711:47, 23 April 2024 Jerryobject talk contribs 7,246 bytes +243 Template:Infobox programming language, WP:REFerence WP:CITations: repeats > WP:NAMEDREFS, parameters: respaces, cut needless whitespace characters (spaces, carriage returns) to standardize, aid work via small screens, underscores > spaces, adds, fills, reorders, update-standardizes, conform to master templates. WP:LINKs: adds, update-standardizes, WP:REPEATLINK in same sentence cut. MOS:FIRSTABBReviations clarify, define before WP:ABBRs in parentheses. undo

14 April 2024

• curprev 22:2822:28, 14 April 2024 IntGrah talk contribs 7,003 bytes +28 Confuse F# undo Tag: Visual edit

12 April 2024

• curprev 15:1415:14, 12 April 2024 MagnusY talk contribs 6,975 bytes +976 No edit summary undo Tag: Visual edit

21 March 2024

• curprev 04:2004:20, 21 March 2024 Jlwoodwa talk contribs m 5,999 bytes +1 WP:STUBSPACING undo

27 February 2024

• curprev 10:4010:40, 27 February 2024 Jerryobject talk contribs 5,998 bytes −24 →External links: Adds: Template:Official website, Template:GitHub, WP:NAVBOX. undo

12 November 2023

• curprev 19:5819:58, 12 November 2023 ElliAWB talk contribs m 6,022 bytes +15 Disambiguating links to Coq (link changed to Coq (software)) using DisamAssist. undo

11 November 2023

• curprev 12:3912:39, 11 November 2023 2a02:1812:110c:dc00:38b3:5749:19e8:f6a5 talk 6,007 bytes +4 No edit summary undo

20 April 2023

• curprev 20:0020:00, 20 April 2023 The Hurdy Gurdy Man talk contribs 6,003 bytes +168 Added a reference in the lead section and updated some categories. undo

17 April 2023

• curprev 21:5821:58, 17 April 2023 The Hurdy Gurdy Man talk contribs 5,835 bytes +42 Updated references (found an earlier paper that introduced F*). undo
• curprev 21:2721:27, 17 April 2023 The Hurdy Gurdy Man talk contribs 5,793 bytes +1,070 Updated and moved information from the lead section to a newly created history section. undo

2 November 2022

• curprev 17:1617:16, 2 November 2022 Citation bot talk contribs 4,723 bytes +22 Add: date. | Use this bot. Report bugs. | Suggested by Whoop whoop pull up | #UCB_webform 1005/1877 undo

28 June 2022

• curprev 23:5923:59, 28 June 2022 Top5a talk contribs m 4,701 bytes +103 Adding local short description: "Functional programming language inspired by ML and aimed at program verification", overriding Wikidata description "functional programming language inspired by ML and aimed at program verification" undo Tag: Shortdesc helper

2 May 2022

• curprev 17:1417:14, 2 May 2022 71.199.114.135 talk 4,598 bytes +50 Update link which had bit rotted away undo

25 November 2021

• curprev 12:1812:18, 25 November 2021 Ghettoblaster talk contribs m 4,548 bytes +51 No edit summary undo

30 April 2021

• curprev 16:2716:27, 30 April 2021 Ghettoblaster talk contribs m 4,497 bytes +45 →External links undo

13 March 2021

• curprev 17:1917:19, 13 March 2021 Ghettoblaster talk contribs m 4,452 bytes +27 →External links undo

14 January 2021

• curprev 01:1601:16, 14 January 2021 Monkbot talk contribs m 4,425 bytes +2 Task 18 (cosmetic): eval 4 templates: hyphenate params (2×); undo Tag: AWB

10 December 2020

• curprev 22:0522:05, 10 December 2020 Ghettoblaster talk contribs m 4,423 bytes +32 →External links undo

20 August 2020

• curprev 20:3420:34, 20 August 2020 Ghettoblaster talk contribs m 4,391 bytes +28 No edit summary undo

22 February 2020

• curprev 17:2717:27, 22 February 2020 2600:1015:b026:2030:50aa:1072:8097:bb49 talk 4,363 bytes +2 Influences undo Tags: Mobile edit Mobile web edit
• curprev 17:2017:20, 22 February 2020 2600:1015:b026:2030:50aa:1072:8097:bb49 talk 4,361 bytes −83 Infobox undo Tags: Mobile edit Mobile web edit
• curprev 17:0917:09, 22 February 2020 2600:1015:b026:2030:50aa:1072:8097:bb49 talk 4,444 bytes 0 License undo Tags: Mobile edit Mobile web edit

12 October 2019

• curprev 20:4220:42, 12 October 2019 Ghettoblaster talk contribs m 4,444 bytes +42 No edit summary undo

28 August 2019

• curprev 01:0801:08, 28 August 2019 Mainframe98 talk contribs m 4,402 bytes −10 Remove deprecated inage syntax; I've not defined an image size, to allow user preferences and template defaults to handle that undo

7 August 2019

• curprev 21:0421:04, 7 August 2019 François Robere talk contribs 4,412 bytes +5 No edit summary undo

5 July 2019

• curprev 00:4200:42, 5 July 2019 71.219.166.220 talk 4,407 bytes −40 No edit summary undo

23 May 2019

• curprev 11:4311:43, 23 May 2019 WOSlinker talk contribs m 4,447 bytes −31 remove portal link undo

9 May 2019

• curprev 07:2707:27, 9 May 2019 79.107.104.246 talk 4,478 bytes 0 MOS:SECTIONORDER undo

25 February 2019

• curprev 12:3612:36, 25 February 2019 Abelmoschus Esculentus talk contribs m 4,478 bytes −4 Reverted edits by 116.26.109.66 (talk) (HG) (3.4.7) undo Tags: Huggle Rollback
• curprev 12:3612:36, 25 February 2019 116.26.109.66 talk 4,482 bytes +2 No edit summary undo
• curprev 12:3612:36, 25 February 2019 116.26.109.66 talk 4,480 bytes +2 No edit summary undo
• curprev 12:3612:36, 25 February 2019 Abelmoschus Esculentus talk contribs m 4,478 bytes −2 Reverted edits by 116.26.109.66 (talk) (HG) (3.4.7) undo Tags: Huggle Rollback
• curprev 12:3512:35, 25 February 2019 116.26.109.66 talk 4,480 bytes +2 No edit summary undo
• curprev 12:3512:35, 25 February 2019 Abelmoschus Esculentus talk contribs m 4,478 bytes −2 Reverted edits by 116.26.109.66 (talk) (HG) (3.4.7) undo Tags: Huggle Rollback
• curprev 12:3512:35, 25 February 2019 116.26.109.66 talk 4,480 bytes +2 No edit summary undo

5 September 2018

• curprev 18:1318:13, 5 September 2018 Avicenno talk contribs m 4,478 bytes +31 →External links: clean up + adding portal undo Tag: AWB

29 August 2018

• curprev 23:3123:31, 29 August 2018 Smasongarrison talk contribs m 4,447 bytes +4 re-categorisation per CFD undo Tag: AWB

3 August 2018

• curprev 17:0617:06, 3 August 2018 演歌ビニール talk contribs m 4,443 bytes +1 No edit summary undo

14 April 2018

• curprev 17:1617:16, 14 April 2018 96.255.31.67 talk 4,442 bytes +33 Added link to Dafny Wikipedia page undo