3 ms·I declare ~bankruptcy~ formal verificationby ares623 6mo agoI declare ~bankruptcy~ formal verification