4件のスキルがこのタグを使用しています
linkml / valuesets
Common value sets (enums) for science, biomedicine, computing, and other areas
benbrastmckie / ModelChecker
A hyperintensional theorem prover for rapidly prototyping modular semantic theories
