jscoq CDN files
- jscoq@0.17.1 /
- frontend /
- classic /
- css
| ... | |
| components | |
| coq-base.css | 16.42 KB |
| coq-dark.css | 4.64 KB |
| coq-light.css | 3.08 KB |
| coq-log.css | 1.48 KB |
| editor-base.css | 2.54 KB |
| help.css | 1.48 KB |
| ide-base.css | 1.31 KB |
| ide-dark.css | 1.43 KB |
| jscoqdoc.css | 10.33 KB |
| kbd.css | 1.35 KB |
| landing-page.css | 2.48 KB |
| project.css | 1.92 KB |
| settings.css | 4.31 KB |
Free Open Source CDN for jscoq
Looking for a nice landing page for your package? https://www.jsdelivr.com/package/npm/jscoq