Repowise has mined 3 architectural decisions out of Mnehmos/BHFormalization, from its commit history, code comments and documentation: 3 proposed and awaiting review.