#m-expression

1件のスキルがこのタグを使用しています

関連タグ

ai dependent-types llm programming-language theorem-proving

jaggederest

locque-authoring

jaggederest / locque

Locque, a dependently-typed LLM first programming language

aidependent-typesllm+3