Skip to content

Merge branch 'vaddProperties' of https://github.com/leanprover-commun…

a0486cc
Select commit
Loading
Failed to load commit list.
Closed

feat: Properties of vadd #996

Merge branch 'vaddProperties' of https://github.com/leanprover-commun…
a0486cc
Select commit
Loading
Failed to load commit list.