Commit 4a7cca9b authored by Petar Maksimovic's avatar Petar Maksimovic
Browse files


parent 07d70bf3
No preview for this file type
......@@ -1950,7 +1950,7 @@ which does not require an OCaml harness like WasmCert-Isabelle.},
author = {Petar Maksimoví\'c and
author = {Petar Maksimovíc and
Caroline Cronj\"ager and
Julian Sutherland and
Andreas L\"o\"ow and
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment