Links for logics-py