CI: use bash instead of python for proof checking#192
Closed
ahelwer wants to merge 1 commit intotlaplus:masterfrom
Closed
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
