No description provided.
rwitz changed pull request status to merged

Hi,
Just curious why you decided to update the license?

I think it has to do with copyright.

Starling have that license.

  1. Metamath and starling merge.
  2. Finetune it with DPO

So it should have cc-by-nc-4.0 license which is superiour then apache.

OK, makes sense.

Sign up or log in to comment