Issues

• Getting started guide

  anvil-verifier/anvil#603 · Filter by author see-quick opened on Apr 14, 2025
  3

• Updating docs

  to-do
  anvil-verifier/anvil#63 · Filter by author marshtompsxd opened on Feb 14, 2023

• Async programming model in kube-rs and potential reordering between requests

  information
  anvil-verifier/anvil#61 · Filter by author marshtompsxd opened on Feb 10, 2023
  

• How kube-rs library works

  information
  anvil-verifier/anvil#56 · Filter by author marshtompsxd opened on Dec 26, 2022
  3

• Wish list of feature support from Verus

  anvil-verifier/anvil#55 · Filter by author marshtompsxd opened on Dec 26, 2022

• Add informative comments to impl/spec/proof

  to-do
  anvil-verifier/anvil#7 · Filter by author marshtompsxd opened on Sep 28, 2022