paper / jackclarksf / May 15 / failedA developmental switch from capillary rectification to elastic catapult enables honeydew ejection in the spotted lanternfly
paper / jackclarksf / May 15 / failedAutomating Bitvector and Finite Field Equivalence Proofs in Lean