`@plaivy/logic` is an interactive way to write proofs using formal rules of inference.
Ｄｏｗｎｌｏａｄ ｅｂｏｏｋ ｐｄｆ ｍｏｂｉ ｅｐｕｂ Don Miguel Ruiz La maîtrise de l'amour is available now
Property testing with automagic shrinking.