opml. A proof assistant for modal logic in OCaml (ported from: https://github.com/sndtkrh/hpml)

github.com/alphaKAI/opml

Problem

Audience

Updates

No founder updates yet. Check back soon.