Seems like we have vibe research using lean now: https://github.com/suomela/fin-dep