isabelle-markup. Export Isabelle theories to HTML with full syntax highlighting

github.com/meithecatte/isabelle-markup
by @meithecatte

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.