Similar repositories to leanprover-community/yasnippet-lean: