❤
npm
Sign UpSign In

cicada-notebook
TypeScript icon, indicating that this package has built-in type declarations

0.1.0 • Public • Published

cicada-notebook

wasm core runs in web browser, with rich UI for theorem proving

Readme

Keywords

none

Package Sidebar

Install

npm i cicada-notebook

Weekly Downloads

0

Version

0.1.0

License

none

Unpacked Size

284 kB

Total Files

5

Last publish

Collaborators

  • xieyuheng
Try on RunKit
Report malware