Skip to content

Set default name for unnamed binders to H

Tej Chajed requested to merge tchajed/iris-coq:fix-unnamed-default-name into master

Fixes #337 (closed).

Merge request reports