Lu Maltsis
lmaltsis.bsky.social
Lu Maltsis
@lmaltsis.bsky.social
Formal Methods, Proof Assistants, Software Security

Follow me on Mastodon: https://infosec.exchange/@lmaltsis

they/them
I've caught myself doing the same thing. I think a genuine point may be to distinguish the proper noun "Lean" from the adjective "lean". i.e. "A framework made in lean" vs "a slim framework". If that is needed in a paper title is a different question, I do not feel entitled to answer.
December 13, 2025 at 10:01 PM