---
title: "Discussion on \"F* : A general-purpose proof-oriented programming language\" | Hashnode"
description: "Discussion on \"F* : A general-purpose proof-oriented programming language\". F*, a proof-oriented programming language for formal verification, advanced programming, and secure software development"
url: "https://hashnode.com/posts/f-a-general-purpose-proof-oriented-programming-language/67a7642859ebd12bb51a0a46"
---

[Feed](https://hashnode.com/feed) /

Discussion

# [F\* : A general-purpose proof-oriented programming language](https://software-deep-dives.hashnode.dev/f-a-general-purpose-proof-oriented-programming-language?utm_source=hashnode&utm_medium=feed)

F\*, a proof-oriented programming language for formal verification, advanced programming, and secure software development

Feb 8, 2025 · 3 min read · software-deep-dives.hashnode.dev  
Read the article

-   [#general-purpose](https://hashnode.com/tag/general-purpose)
-   [#programming-languages](https://hashnode.com/tag/programming-languages)
-   [#formal-verification](https://hashnode.com/tag/formal-verification)
-   [#software-security](https://hashnode.com/tag/software-security)
-   [#programming-blogs](https://hashnode.com/tag/programming-blogs)
-   [#coding](https://hashnode.com/tag/coding)

## Written by

[Sakshi from KushoAI](https://hashnode.com/@SakshiPriya01)

@SakshiPriya01 · California, USA

  
[View profile](https://hashnode.com/@SakshiPriya01)

Let's dive more into technology and AI

## Responses

Markdown supported · ⌘↵ to post

No responses yet.