Sign in Sign up
npm

lean4monaco

Browser support for Lean using a monaco editor.

npm View on Npm github View on Github

Activity

Latest release
3w ago
Total releases
62
Cadence
~daily
Last 12 months
12

Reach

Downloads (recent)
132
Stars
17

Details

License
Apache-2.0
First release
Jul 14, 2024
Releases
Version Released
1.1.16 patch
1.1.15 patch
1.1.14 patch
1.1.13 patch
1.1.11 patch
1.1.10 patch
1.1.9 patch
1.1.8 patch
1.1.7 patch
1.1.6 patch
1.1.5 patch
1.1.4 patch
1.1.3 patch
1.1.2 patch
1.1.1 patch
1.1.0 minor
1.0.46 patch
1.0.45 patch
1.0.43 patch
1.0.42 patch
1.0.41 patch
1.0.40 patch
1.0.39 patch
1.0.38 patch
1.0.37 patch
1.0.36 patch
1.0.35 patch
1.0.34 patch
1.0.33 patch
1.0.32 patch
1.0.31 patch
1.0.30 patch
1.0.29 patch
1.0.28 patch
1.0.27 patch
1.0.26 patch
1.0.25 patch
1.0.24 patch
1.0.23 patch
1.0.22 patch
1.0.21 patch
1.0.20 patch
1.0.19 patch
1.0.18 patch
1.0.17 patch
1.0.16 patch
1.0.15 patch
1.0.14 patch
1.0.13 patch
1.0.12 patch
1–50 of 62