auto

notes/pbft.md

@@ -48,7 +48,7 @@
 1. Client waits for $f+1$ replies from different reqplicas w/ same result
 
 - guarantees:
-  - safety and liveness (assuming only $\lfloor{\frac{n-1}{3}}\rfloor$ faulty, *delay(t)* does not grow faster than *t* indefinitely
+  - safety and liveness (assuming only $\lfloor \frac{n-1}{3}} \rfloor$ faulty, *delay(t)* does not grow faster than *t* indefinitely
 
 ![pbft normal case](pbftNormal.png)