proof-systems
proof-systems copied to clipboard
CI: adding check that we do not infringe copyright licenses
After discussing with Nicole, we decided to add a continuous check. Looks good for now.
Does it work with TS/OCaml?