1093i3511 [1] filed a deletion request for minlog-git [2]: Sources and upstream url aren't accessible anymore. This is a interactive proof system developed at the LMU Munich. Upstream url moved to https://www.mathematik.uni-muenchen.de/~logik/minlog/ where they also offer an interactive webclient, new repo url is listed there as well, but licensing is uncertain.
[1] https://aur.archlinux.org/account/1093i3511/ [2] https://aur.archlinux.org/pkgbase/minlog-git/
