Comment by sivakon

8 days ago

This is an interesting usecase, and I want to learn more about your workflow. Do you also use Lean etc. for math proofs.

0 comments