search

aya-prover / aya-vscode

~ VSCode extension for Aya Prover
GNU General Public License v3.0
7 stars 2 forks source link

Choose a LICENSE #5

Closed imkiva closed 3 years ago

imkiva commented 3 years ago

As title

imkiva commented 3 years ago

I propose GPL-3.0 the same as aya-prover

ice1000 commented 3 years ago

Approved