Autor | SHA1 Zpráva | Datum |
---|---|---|
Philip Lacroix | 6f6a902299 academic/aris: Updated for version 2. New maintainer. | před 3 roky |
B. Watson | 3636279c9b academic/aris: New maintainer. | před 4 roky |
Willy Sudiarto Raharjo | 9d6abe0415 academic/aris: Updated for version 2.1.1. | před 11 roky |
Juan M. Lasca | 17ef36e40e academic/aris: Added (sequential proof program) | před 11 roky |