Markdown formatting
1 files changed, 1 insertions(+), 1 deletions(-) M README.md
M README.md => README.md +1 -1
@@ 2,4 2,4 @@ Write-up: pending -Formalisation: [y_and_j.v](y_and_j.v) +Formalisation: [y_and_j.v](y\_and\_j.v)