An Extensible User Interface for Lean 4. Wojciech Nawrocki,Edward W. Ayers,Gabriel EbnerITP(2023)Cited 0|Views1No scoreAI Read ScienceMust-Reading TreeExampleGenerate MRT to find the research sequence of this paperChat PaperSummary is being generated by the instructions you defined