Need help with advanced AI agent engineering?Contact FirmAdapt

jsCoq

jsCoq

Organization

@jscoq

A JavaScript port of Coq

On GitHub since June 2019

1

Published Tools

538

Total Stars

0

Weekly Downloads

7

GitHub Followers

25

Public Repos

Published Tools

1 Skillacross 1 category

jscoq

corwin.amber

A port of Coq to JavaScript -- run Coq in your browser

SkillAI Tool

5381 dir