leanprover/lean4

Star:4696

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

notepad-plus-plus/userDefinedLanguages

Star:593

leanprover-community/mathlib4

Star:1516

leanprover-community/lean-sensitivity

Star:8

leanprover/lean4

Star:4696

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

leanprover-community/mathlib4

Star:1516

notepad-plus-plus/userDefinedLanguages

Star:593

leanprover-community/lean-sensitivity

Star:8