jsCoq

MaRDI QIDQ1354641swMATHFDO

Official website https://arxiv.org/abs/1701.07125

Source code repository https://github.com/jscoq/jscoq

Cited in

(4)

• ProofWidgets
• XBarnacle
• Verified interactive computation of definite integrals
• HolPy

This page was built for software: jsCoq