I present how to use QuickCheck and Proptest. QuickCheck is useful for general algorisms and Proptest is useful for domain logics.
The LT was performed at Shinjuku.rs#10 (https://forcia.connpass.com/event/178415/) on 2020/06/30.