lean4 on godbolt requested

Stream: lean4

[Joachim Breitner]

I just filed a request at godbolt.org to add support for lean4: https://github.com/compiler-explorer/compiler-explorer/issues/5634
This would give us a convenient way to see how lean code is compiled.
Please upvote if you care. And if you really care, maybe contribute the implementation (maybe the nim implementation is a good example, as they also compile via C) :-)