F* (F Star)
Description
F* (pronounced "F star") is a dependently typed, functional programming language and proof assistant designed for program verification. It enables developers to write programs together with machine-checkable specifications and proofs, and supports extraction to languages like OCaml and F# for practical use in verified software development.
Statistics
Created by:
Latest version:
5.3.4.16628561
People using it:
Keys:
Clicks:
Mouse Scrolls:
Time Used:
Average Time Used:
Create a free WhatPulse account to unlock detailed usage statistics and charts.
| Version | OS | Last Seen |
|---|---|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| User |
|---|
F* (F Star)
Application statistics and information.
