formulas. An OCaml programs to do various things with first order fomulas

github.com/lebinh/formulas
by @lebinh

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.