My favorites | Sign in
Project Home Wiki Issues Source
READ-ONLY: This project has been archived. For more information see this post.
Project Information
Members

Naproche aims to check mathematical texts written in a controlled natural language for correctness. This is a Java implementation of the Naproche algorithm.

Powered by Google Project Hosting