kripke-model topic

List kripke-model repositories

Stars

Forks

Watchers

A library for non-deterministically parsing natural language expressions into a structured form.