top | item 46908089 (no title) vdupras | 24 days ago I asked the LLM whether my program was correct and it answered: you're absolutely right! discuss order hn newest namin|24 days ago Ha. At least you can check the theorem statements and see that the proofs verify :)
namin|24 days ago Ha. At least you can check the theorem statements and see that the proofs verify :)
namin|24 days ago