Wishlist for Community Fork

leanprover-community / lean

Lean 3 Theorem Prover (community fork)

http://leanprover-community.github.io/

Apache License 2.0

435 stars 80 forks source link

Open cipher1024 opened 5 years ago

cipher1024 commented 5 years ago

EdAyers commented 5 years ago

Idea for server-mode: in the info-view window, while it is processing the imports it returns the files it needs to process and a progress bar.