This repository was archived by the owner on Mar 30, 2026. It is now read-only.

Waterproof 0.5.5

SeanMcCarren released this 08 Nov 11:00

· 88 commits to develop since this release

6b24c4e

Adapt tutorial
Update tactics description
Latex aliases for symbols
Fix brackets around code blocks

Assets 5