Chrome Extension

WeChat Mini Program

Use on ChatGLM

Log in

Academic Profile User Profile

My Following Paper Collections Browse History

An Extensible User Interface for Lean 4.

Wojciech Nawrocki,Edward W. Ayers,Gabriel Ebner

ITP（2023）

Cited 0|Views1

No score

AI Read Science

Must-Reading Tree

Example

Generate MRT to find the research sequence of this paper

Chat Paper

Summary is being generated by the instructions you defined