hasKernelLanguage

P181680
predicate

Indicates that something (such as a system, framework, or environment) is based on or implemented using a particular core or primary programming language.

Sample triples (1)

Subject Object
HOL4 Standard ML NERFINISHED