Do you have documents for consensus codes ?
Yes, we have several documents that describe various aspects of consensus - as we as the inline Rust documentation. Please let us know what areas you are interested in learning more. Hope this helps!
Here’s a short paper on verification - https://github.com/libra/libra/blob/master/tech-papers/lbft-verification/lbft-verification.pdf
Here’s the most recent LibraBFT technical report - https://developers.libra.org/docs/assets/papers/libra-consensus-state-machine-replication-in-the-libra-blockchain/2019-11-08.pdf