Suggestions for propositions

The following packages have something in common with the package propositions. The packages are ordered in decreasing similarity.

Package coolthms: Reference items in a theorem environment
Package proofgraph: Dependency graphs of the results of a mathematical article
Package theoremref: References with automatic theorem names
Package deleq: Flexible numbering of equations
Package autonum: Automatic equation references
Package create-theorem: Initializing and configuring theorem-like environments, with multilingual support
Package phfthm: Goodies for theorems and proofs
Package inkpaper: A mathematical paper template
Package chemsec: Automated creation of numeric entity labels
Package inlinelabel: Assign equation numbers to inline equations
Package bibleref: Format bible citations
Package cleveref-usedon: Adds forward-referencing functionality to the cleveref package
Package cleveref-forward: Forward-referencing functionality for cleveref
Package crefthe: Cross referencing with proper definite articles and declensions
Package fancylabel: Complex labelling with LaTeX
Package hereapplies: A LaTeX package for referencing groups of pages that share something in common
Package issuulinks: Produce external links instead of internal ones
Package knowledge: Displaying, hyperlinking, and indexing notions in a document
Package numberedblock: Print a block of code, with unique index number
Package pageslts: Variants of last page labels
Package philex: Cross references for named and numbered environments
Package refenums: Define named items and provide back-references with that name
Package saferef: Safer references through strong typing of references
Package typedref: Eliminate errors by enforcing the types of labels
Package wtref: Extend LaTeX’s cross-reference system
Package crossreference: Crossreferences within documents
Package modref: Customisation of cross-references in LaTeX
Package termlist: Label any kind of term with a continuous counter
Package linkedthm: Hyperlinked theorem–proof environments for LaTeX
Package nccthm: Another theorem environment
Package statementsp: Theorem and proposition boxes with preview and recall functions