rizalmf/deductive-formula Releases