u5943321 / ETCSprover

0 stars 0 forks source link

Things that I must do but have not done yet #6

Open u5943321 opened 3 years ago

u5943321 commented 3 years ago

edit drule so thms are the last inputs.

done.