FRDCSA

langpro-20210406

Jump To: Parent Description

  • # [LangPro](https://github.com/kovvalsky/LangPro): Natural [Lang](https://github.com/kovvalsky/LangPro)uage Theorem [Pro](https://github.com/kovvalsky/LangPro)ver LangPro is a tableau-based theorem prover for natural logic and language. See the [online demo](https://naturallogic.pro/LangPro/) (not the latest version).

FRDCSA

Life's problems are complex. So are its solutions. We make them simple to use.

© Copyright FRDCSA All Rights Reserved
Last Updated: Fri Jul 16 17:39:15 EDT 2021 | Designed by BootstrapMade