leanprover-community / lean4web

The Lean 4 web editor
https://live.lean-lang.org/
Apache License 2.0
52 stars 14 forks source link

bug: `.so` files not supported #19

Closed joneugster closed 6 months ago

joneugster commented 6 months ago

Somehow it seems that the web editor cannot handle .so files. A workaround is to add precompileModules := false in all dependencies.