文件名称：coq-of-js:JavaScript将JavaScript程序导入Coq
文件大小：225KB
文件格式：ZIP
更新时间：2024-05-26 10:31:01
JavaScript
:globe_showing_Europe-Africa: :rooster: js Coq-of-js 将JavaScript程序导入Coq。 证明一切！ :rooster: 在线演示： : 该项目的目的是将JavaScript程序导入语言，以对JavaScript代码进行。 仍在大力发展中 跑步 现在：用于开发的Web界面，共有四列： JavaScript输入； Coq输出； JavaScript AST； Coq AST。 在命令行中： npm install npm start 或使用 ： yarn install yarn start 例子 请参阅。 去做 我们要验证基础： 具有良好的项目设置（测试，错误处理等）； 导入合理数量的语法； 处理模块； 处理副作用的定义； 处理记录与地图，总和类型，避免了结构性类型与名义性类型的问题。 相关工作 待办事项：阅读所有链接！ https://vtss.doc.ic.ac.uk/sli
【文件预览】：
coq-of-js-master
----.gitignore(310B)
----.flowconfig(58B)
----package.json(1KB)
----src()
--------compiler()
--------demoInput.js(1KB)
--------index.js(518B)
--------App.js(4KB)
--------serviceWorker.js(5KB)
--------App.css(1KB)
--------index.css(366B)
--------App.test.js(257B)
--------Output.js(281B)
----.travis.yml(239B)
----LICENSE(1KB)
----public()
--------robots.txt(75B)
--------index.html(2KB)
--------manifest.json(163B)
----flow-typed()
--------npm()
----README.md(2KB)
----yarn.lock(468KB)