flams_ontology::ftml::attrstrings

Constant PROOF_TITLE

Source 
pub const PROOF_TITLE: &'static str = "data-ftml-prooftitle";