formal-system

There are 1 repositories under formal-system topic.

  • punctilious

    punctilious

    A human-friendly and developer-friendly math proof assistant

    Language:Python2