Skip to content
Blame Permalink
  • Björn Brandenburg's avatar
    0bc89d74
    update README · 0bc89d74
    Björn Brandenburg authored 
    - refer to Rocq instead of Coq
- mention mk-opam-switch.sh
- mention TOROS project
- misc tweaks and fixes
    0bc89d74
    update README
    Björn Brandenburg authored 
    - refer to Rocq instead of Coq
- mention mk-opam-switch.sh
- mention TOROS project
- misc tweaks and fixes