Repository Index

65,264 visible repositories in the index

Filters

Apply

Filters

Primary language

License

Total stars

Last push

Created

Health fact definitions

Archived

Clear all filters

1–1 of 1 · Most stars

jscoq / jscoq

TypeScript 550 50

A port of Coq to Javascript -- Run Coq in your Browser

coq
proof-assistant
javascript
integrated-development-environment