职位描述：在VScode中安装pvs插件后，用户可以使用该插件在VScode中对.pvs文件中的LEMMA进行证明。现需要做一个用户界面：包括.pvs中的所有LEMMA列表，用户可以在web上使用该插件对LEMMA进行证明。即网页上的内容为VScode编辑器显示的内容。让用户感觉到不到VS