Historia zmian

Autor SHA1 Wiadomość Data
  B. Watson 747661d77f academic/aris: Fix README. 4 lat temu
  Juan M. Lasca 17ef36e40e academic/aris: Added (sequential proof program) 11 lat temu