Apache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 443Name Last modified Size Description
Parent Directory -
deductive_0.1.0.tar.gz 2016-03-12 00:33 10K
deductive_0.1.1.tar.gz 2016-10-09 14:27 10K
deductive_0.1.2.tar.gz 2017-06-02 20:49 11K
deductive_0.1.3.tar.gz 2019-04-10 15:55 11K