Repowise has mined 28 architectural decisions out of Mnehmos/formal-conjectures, from its commit history, code comments and documentation: 28 proposed and awaiting review. 15 of the repository's most-changed files are covered by no decision at all.