>>686 補足

プロンプトがある
https://ideone.com/
What is Ideone?
Ideone is an online compiler and debugging tool which allows you to compile source code and execute it online in more than 60 programming languages.

Popular languages:
Bash Pascal C Perl C# PHP C++ Python C++14 Python3 Haskell Ruby Java SQLite Objective-C Swift VB.net

ここにも プロンプトがある
https://live.lean-lang.org/

なお
上記画面の右上の≡のメニューから 下記へ飛べる
https://leanprover-community.github.io/
Lean Community

この”プロンプト”が、いまどきで
面白いと感じたってこと