search

impermeable / coq-waterproof

GNU Lesser General Public License v3.0
29 stars 9 forks source link

Show version number #34

Closed jim-portegies closed 8 months ago

jim-portegies commented 8 months ago

Add a tactic that allows for showing the version number inside Waterproof itself