Revision as of 22:14, 17 May 2025 edit 46.193.65.196 (talk) Updated the access date of the GitHub reference since the repository was visited in order to make the previous change ← Previous edit		Revision as of 22:17, 17 May 2025 edit undo 46.193.65.196 (talk) influenced by: updated Coq → Rocq Next edit →
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 = }}

F* (programming language): Difference between revisions