proof-systems icon indicating copy to clipboard operation
proof-systems copied to clipboard
verified publisher icon o1-labs

CI: adding check that we do not infringe copyright licenses

Open dannywillems opened this issue 8 months ago • 1 comments

After discussing with Nicole, we decided to add a continuous check. Looks good for now.

dannywillems avatar Jun 26 '25 11:06 dannywillems

Does it work with TS/OCaml?

glyh avatar Jun 29 '25 08:06 glyh