Search results

Visit *all* Hermes annotations to reject them in invalid locations

Status: Open.

#3110 In google/zerocopy;

· joshlf opened on Mar 12, 2026

Consider consolidating error::HermesError

Status: Open.

#3108 In google/zerocopy;

· joshlf opened on Mar 12, 2026

Tracking issue for ensuring isValid soundness

Status: Open.

#3107 In google/zerocopy;

· joshlf opened on Mar 12, 2026

Support installation on crates.io

Status: Open.

#3106 In google/zerocopy;

· joshlf opened on Mar 12, 2026

Test codegen of concrete trait impls

Status: Open.

#3105 In google/zerocopy;

· joshlf opened on Mar 11, 2026

Suggestions after agentic proof-authoring

Status: Open.

#3102 In google/zerocopy;

· joshlf opened on Mar 9, 2026

Support top-level Lean comments

Status: Open.

#3098 In google/zerocopy;

· joshlf opened on Mar 9, 2026

Namespace specs under functions?

Status: Open.

#3097 In google/zerocopy;

· joshlf opened on Mar 9, 2026

Support extern functions

Status: Open.

#3095 In google/zerocopy;

· joshlf opened on Mar 9, 2026

Get zizmor passing

Status: Open.

#3093 In google/zerocopy;

· joshlf opened on Mar 9, 2026

Is it a problem that unsafe(axiom) also implies *progress*, not just *correctness*?

Status: Open.

#3091 In google/zerocopy;

· joshlf opened on Mar 8, 2026

Consider formatting (ie, pretty-printing) Lean code generated by Hermes

Status: Open.

#3090 In google/zerocopy;

· joshlf opened on Mar 8, 2026