Autor | SHA1 Mensaxe | Data |
---|---|---|
Nick Smallbone | fed4d5c025 academic/eprover: Updated for version 2.5. | %!s(int64=4) %!d(string=hai) anos |
Nick Smallbone | 42c03560da academic/eprover: Updated for version 2.4. | %!s(int64=4) %!d(string=hai) anos |
Nick Smallbone | 5c87535b2c academic/eprover: Added (a first-order theorem prover). | %!s(int64=5) %!d(string=hai) anos |