Tested another transformer - DeepSeek

Stream: Equational

[Michael Bucko]

Generates Lean tactics, but the generated tactics very often aren't good. If you want to test it, here's a notebook.

DeepSeek_for_Equational_Theories_main.ipynb