文件名称: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)