>>693
>この”プロンプト”が、いまどきで
>面白いと感じたってこと
この“プロンプト”とは
AIに与える「指示」ということ？
でも
>ここにも プロンプトがある
>https://live.lean-lang.org/
だからそうではなさそう
どういう意味ですか？