Rhombus/HOL

• Language and prover manual
• Complete manual as Markdown
• Isabelle/HOL kernel verification
• Licenses and third-party notices
• Per-file copyright and SPDX map