A plugin for Lean Users to add task in Lean project
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