Merge with formal-imo?

[charlesxjyang]

Hi,

I'm curious why compfiles doesn't import/include problem formulations from Google Deepmind's formal-imo?

Thanks,
Charles Yang

[dwrensha]

That repo only has problem statements. Compfiles is interested in solutions too.