
coqide -R $FRAMAC_SHARE/wp/coqwp -as "" WP_basics.v

coqc -R $FRAMAC_SHARE/wp/coqwp -as "" WP_basics.v

