hhu-adam lean4monaco issues - Githubissues

hhu-adam / lean4monaco

Browser support for Lean using a monaco editor.

https://www.npmjs.com/package/lean4monaco

Apache License 2.0

4 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

fix: leanOptions are not used unless file exists

#3 joneugster opened 1 month ago
0
[Noto Color Emoji] Choice to include in lean4monaco

#2 desaxce opened 2 months ago
2
doc: demo install

#1 desaxce closed 2 months ago
4