ftml_viewer_components::components

Module proofs

Source

Structs§

Elem 🔒
ProofOrSubproof 🔒

Functions§

proof
proof_body
proof_title
subproof
subproof_title