CI: use bash instead of python for proof checking#192
Open
ahelwer wants to merge 1 commit intotlaplus:masterfrom
Open
CI: use bash instead of python for proof checking#192ahelwer wants to merge 1 commit intotlaplus:masterfrom
ahelwer wants to merge 1 commit intotlaplus:masterfrom
