Add Proofline Redlib instance#114

TheSilkky wants to merge 2 commits into

redlib-org:mainredlib-org/redlib-instances:mainfrom

open-proofline:add-proofline-redlibopen-proofline/redlib-instances:add-proofline-redlibCopy head branch name to clipboard