7 ms·

I asked the LLM whether my program was correct and it answered: you're absolutely right!

• namin 7mo ago
  Ha. At least you can check the theorem statements and see that the proofs verify :)