Merge branch 'coq-small-fixes' of ssh://ssh.github.com:443/hacspec/ha… · cryspen/hax@6c8cff2 · GitHub

Commit

Merge branch 'coq-small-fixes' of ssh://ssh.github.com:443/hacspec/ha…

Browse files

…x into coq-small-fixes

Loading branch information

cmester0 committed Nov 15, 2024

2 parents 7d23165 + 3ab6b1a commit 6c8cff2