Historique des commits

Auteur SHA1 Message Date
  B. Watson 747661d77f academic/aris: Fix README. il y a 4 ans
  Juan M. Lasca 17ef36e40e academic/aris: Added (sequential proof program) il y a 11 ans