职位描述：在VScode中安装pvs插件后，用户可以使用该插件在VScode中对.pvs文件中的LEMMA进行证明。现需要做一个用户界面：包括.pvs中的所有LEMMA列表，用户可以在web上使用该插件对LEMMA进行证明。即网页上的内容为VScode编辑器显示的内容。让用户感觉到不到VS详情...
日薪：500元/8小时
预估工时：4天
预估总价：2000元
期望开始：2021-11-19
企业点击发布任务，工程师会在任务下报名，招聘专员也会在1小时内与您联系，1小时内精准确定人才
工程师完善技术能力和项目经验，更易接到订单
关注猿急送微信平台，接收实时人才推送
