Draft: Doc joss

src/semi_avid.rs

@@ -434,13 +434,13 @@ where
 /// Verify that a single block of encoded and proven data is valid.
 ///
 /// # Examples
-/// 
+///
 /// ## Basic usage, where `verify` returns `true`
 ///
 /// See [`crate::semi_avid`] for a complete example showing how to get `powers`
 /// and `block` before calling `verify()`. The same setup is used to prove and
 /// verify, and the data is not altered, so `verify()` returns `true`.
-/// 
+///
 /// ## Cases where `verify` returns `false`
 ///
 /// - The same setup should be used to prove and verify the data, otherwise this