Code

Add Kani documentation.#799

Code

Merged

LucioFranco merged 1 commit intotokio-rs:mastertokio-rs/prost:masterfrom YoshikiTakashima:kani-docsYoshikiTakashima/prost:kani-docsCopy head branch name to clipboardFeb 2, 2023

+68

Commits

Commits on Jan 18, 2023

• Added Kani documentation.

  YoshikiTakashima

  committed
  2b9d432

  Copy full SHA for 2b9d432