Doc index - why3

Packages contains this documentation

Package:  why3
apt-get install why3

Manuals in package:
• why3(1)
Documentations in package:
• why3

Documentation root: https://dweb.link/ipfs/bafybeib3zgby7z5knm4vva2vsicmcewpttwaodou754jxhadwifiysuyt4