Histórico de commits

Autor SHA1 Mensagem Data
  Philip Lacroix 6f6a902299 academic/aris: Updated for version 2. New maintainer. 3 anos atrás
  B. Watson 3636279c9b academic/aris: New maintainer. 4 anos atrás
  Willy Sudiarto Raharjo 9d6abe0415 academic/aris: Updated for version 2.1.1. 11 anos atrás
  Juan M. Lasca 17ef36e40e academic/aris: Added (sequential proof program) 11 anos atrás