About: F*

An Entity of Type: language, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Property	Value
dbo:influencedBy	dbr:Coq dbr:Standard_ML dbr:Dafny_(programming_language) dbr:F_Sharp_(programming_language) dbr:Lean_(proof_assistant) dbr:OCaml
dbo:latestReleaseVersion	repository
dbo:license	dbr:Apache_License_2.0
rdf:type	owl:Thing dbo:Language schema:Language wikidata:Q315 wikidata:Q9143 dbo:ProgrammingLanguage
foaf:name	F* (en)
foaf:page	https://www.fstar-lang.org/

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License