Автор | SHA1 Съобщение | Дата |
---|---|---|
Philip Lacroix | 6f6a902299 academic/aris: Updated for version 2. New maintainer. | преди 3 години |
B. Watson | 3636279c9b academic/aris: New maintainer. | преди 4 години |
Willy Sudiarto Raharjo | 9d6abe0415 academic/aris: Updated for version 2.1.1. | преди 11 години |
Juan M. Lasca | 17ef36e40e academic/aris: Added (sequential proof program) | преди 11 години |