llmlean

Stream: lean4

[Phoebe Bai]

Has anybody ever tried the llmlean? i dont know how long it take to manifest the result of the tactic"llmqed" ,but it was clearly that it took so much time remaining the still condition in the picture below.
image.png

[Notification Bot]

A message was moved here from #lean4 > Improving code folding by Johan Commelin.