{
  "@context": "https://schema.org",
  "@graph": [
    {
      "@type": "Organization",
      "@id": "https://fstar-lang.org/#organization",
      "name": "F*: A Proof-Oriented Programming Language",
      "url": "https://fstar-lang.org/",
      "description": "F*: A Proof-Oriented Programming Language Introduction Download Learn Community Uses Research People 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 types with proof automation based on SMT solving and tactic-based interactive theorem proving. F* programs compile, by default, to OCaml."
    },
    {
      "@type": "WebPage",
      "@id": "https://directory.websdocs.com/business/f-a-proof-oriented-programming-language#asg",
      "name": "F*: A Proof-Oriented Programming Language ASG Directory Profile",
      "url": "https://directory.websdocs.com/business/f-a-proof-oriented-programming-language",
      "isPartOf": {
        "@id": "https://fstar-lang.org/#organization"
      },
      "description": "Public business information published by the WebsDocs ASG Directory."
    }
  ]
}