extension ExtPose

快速创建Lean任务(Add Lean Task) (delisted)

CRX id

oleedmdpllhmgndlfhnbcjjjeoabhdpo-

Description from extension meta

A plugin for Lean Users to add task in Lean project

Description from store This is a plugin for Lean Users to add task in Lean project!

Latest reviews

  • (2017-11-01) 赵鹏: 非常赞
  • (2017-10-27) tonson miao: 超赞，五星好评

Statistics

Installs
704 history
Category
Rating
5.0 (5 votes)
Last update / version
2018-08-03 / 0.0.3
Listing languages
zh-CN

Links