Interesting that this only specialized for Lean4 and not for similar like Coq
Huh did not expect them to lift restrictions this soon.
Eh still looks like it is weaker than Opus 4.8 but maybe a good replacement for Sonnet 4.x
Interesting that this only specialized for Lean4 and not for similar like Coq
Huh did not expect them to lift restrictions this soon.
Eh still looks like it is weaker than Opus 4.8 but maybe a good replacement for Sonnet 4.x