Closed weitsang closed 1 year ago
At the end of README.md there are some text about vvdash. Since this is internal and not integrated into main at the moment, it should be removed from README.md
README.md
vvdash
main
done
At the end of
README.md
there are some text aboutvvdash
. Since this is internal and not integrated intomain
at the moment, it should be removed from README.md