Skip to content

Add MIT license (matches EasyCrypt's)#3

Merged
dconnolly merged 1 commit intomainfrom licenseNov 19, 2024

Commits

Commits on Nov 19, 2024