Skip to content

Fix typo in appendix

Tej Chajed requested to merge tchajed/iris-coq:fix-typo-in-appendix into master

Some instances of \tau should have been \tau'

Merge request reports