navigine/bat - bat - git.navigine.de

navigine/bat

0 Fork 0

mirror of https://github.com/sharkdp/bat.git synced 2026-10-30 10:06:12 +00:00

Commit Graph

Author	SHA1	Message	Date
Y.D.X. (Gitpod)	bfd8776042	chore: Follow Lean upstream	2025-07-11 12:56:46 +08:00
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

Author

SHA1

Message

Date

Y.D.X. (Gitpod)

bfd8776042

chore: Follow Lean upstream

2025-07-11 12:56:46 +08:00

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