Jape

Java-based proof assistant

Danh mục: