You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I'm glad to help with this. In fact, one of the things I'd like to do in Fall 2017 is clean up the Lurch github repository significantly, including factoring out demo applications into their own projects. That might make it easier to integrate that editor into your site. I'm also glad to help create tutorials, etc. for it at that time, and add any features we all think would be useful.
The direct link to the application Michael is talking about is here: http://nathancarter.github.io/weblurch/app/openmath-example.html
@nathancarter showed us the Lurch OpenMath CD editor prototype at the OM Workshop, it should be integrated into the OM Web site.
The text was updated successfully, but these errors were encountered: