leanprover/lean4

Star:4779

v4.12.0-rc1 2024-09-03 11:01:10

notepad-plus-plus/userDefinedLanguages

Star:600

leanprover-community/mathlib4

Star:1569

leanprover-community/lean-sensitivity

Star:8

leanprover/lean4

Star:4779

v4.12.0-rc1 2024-09-03 11:01:10

leanprover-community/mathlib4

Star:1569

notepad-plus-plus/userDefinedLanguages

Star:600

leanprover-community/lean-sensitivity

Star:8