doc: Change license to Apache2 #116

Merged
aniva merged 1 commits from misc/license into dev 2024-10-21 10:14:40 -07:00
Owner

For the industry users, and aligning with Lean 4's license

For the industry users, and aligning with Lean 4's license
aniva added the
category
doc
priority
medium
labels 2024-10-21 10:12:09 -07:00
aniva self-assigned this 2024-10-21 10:12:09 -07:00
aniva added 1 commit 2024-10-21 10:12:10 -07:00
aniva added this to the 0.2.20 milestone 2024-10-21 10:13:02 -07:00
aniva merged commit 8fe4c78c2a into dev 2024-10-21 10:14:40 -07:00
aniva deleted branch misc/license 2024-10-21 10:14:40 -07:00
Sign in to join this conversation.
No description provided.