ended8월 2일· 1 sources
F*: A general-purpose proof-oriented programming language
Why it matters
Introduction F* (pronounced F star) is a general-purpose proof-oriented programming language, supporting both purely functional and effectful programming. It combines the expressive power of dependent...
1
Sources
+0
24h
—
Growth
49d
Active