#theorem-proving

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

関連タグ

ai dependent-types llm m-expression programming-language

jaggederest

locque-authoring

jaggederest / locque

Locque, a dependently-typed LLM first programming language

aidependent-typesllm+3