Choose a license #64

New issue

Closed

opened 2026-10-21 14:32:51 +02:00 by marfavi · 0 comments

marfavi commented 2026-10-21 14:32:51 +02:00

Owner

• Copy link
• Copy Markdown

https://choosealicense.com

• VsRocq uses MIT
• Rocq uses LGPL-2.1 license

https://choosealicense.com * VsRocq uses [MIT](https://github.com/rocq-prover/vsrocq?tab=MIT-1-ov-file) * Rocq uses [LGPL-2.1 license](https://github.com/rocq-prover/rocq?tab=LGPL-2.1-1-ov-file)

marfavi added the

priority!

label 2026-10-22 14:22:44 +02:00

marfavi referenced this issue from a pull request that will close it, 2026-10-22 14:28:31 +02:00

Add license #69

michael closed this issue 2026-10-22 14:32:46 +02:00

michael referenced this issue from a commit 2026-10-22 14:32:48 +02:00

Add license (#69)

Sign in to join this conversation.

No Branch/Tag specified

Branches Tags

main

release/0.1.0

fix/resync-on-v-rename

feat/infer-inline-declare

feat/grammar-highlighting

feat/clightgen-command-in-status

fix/code-lens-annotation-top

feature/proof-status

fix/inline-clauses-review-findings

v0.1.0

Labels

Clear labels   

blocked

should wait for another issue to be addressed

  

bug

  

priority!

  

quick-pick

No labels

blocked

bug

priority!

quick-pick

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

code2rocq/crocq#64

No description provided.