Jape

Java-based proof assistant

دسته بندی ها: