navidrashidian
Results
1
issues of
navidrashidian
Hi, I am reading _Theorem Proving in Lean 4_ on VSCodium. I have installed the common lean4 extension. But some graphics is missing as evidences by this picture?  I...