LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

jscoq

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

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

3d ago

Recent commits

Latest commits.

[readme] Update maintenance status.
c6773c2helguo6mo ago
Merge pull request #436 from helguo/cache-documents
4c11f45helguo6mo ago
Merge pull request #435 from helguo/improve-ui
8831da4helguo6mo ago
[general] cache documents immediately on tab switch, tab close, and document delete
6bd2f02helguo6mo ago
[ui] fix switch editor button
7cbcd24helguo6mo ago

[general] save documents in cache

e66e6echelguo7mo ago

[ui][gist] add confirmation to load gist files

f6eb369helguo7mo ago

[ui] remove unused up/down buttons, replace 'to-cursor' button with 'saveVo' (Alt+S shortcut)

edd25ffhelguo7mo ago

Top contributors

Builders behind this project.

corwin-of-amber

dependabot[bot]