An Open Encyclopedia of Proof Systems