Y.D.X. 288b7e9ca3 docs: Add Lean/LICENSE.md ...

> Jeremy Avigad:
> Patrick and I decided that it makes sense to release the text of MIL under CC BY 4.0 and the repository code (exercises, solutions, etc.) under Apache 2.0. We'll put the Apache license in the repo and figure out where to at the CC BY notice, but in the meantime, you can take this message as a declaration.

https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/License.20of.20Mathematics.20in.20Lean.3F/near/523527618

2025-06-11 22:06:52 +08:00

..

highlighted

Update Lean.sublime-syntax from Lean 3 to Lean 4

2025-06-10 17:41:33 +08:00

source

docs: Add Lean/LICENSE.md

2025-06-11 22:06:52 +08:00

BatTestCustomAssets.sublime-syntax

Add regression testing for the custom assets functionality (#1829)

2021-09-07 17:01:15 +02:00

compare_highlighted_versions.py

Make highlight tests fail when new syntaxes don't have fixtures

2025-04-01 13:08:19 -07:00

create_highlighted_versions.py

Fix syntax tests failure on macOS during the daytime

2023-10-04 09:28:34 +02:00

regression_test.sh

Fix #1443 macOS: regression_test.sh: mktemp: illegal option (#1444)

2020-12-21 08:16:49 +01:00

test_custom_assets.sh

fix: typo

2024-03-17 15:40:48 +01:00

update.sh

fix: warnings of ShellCheck

2020-12-21 09:08:54 +01:00