Rare find

rocq-tricks. Tricks you wish the Coq manual told you [maintainer=@tchajed]

github.com/rocq-community/rocq-tricks

@rocq-community

Problem

Audience

Updates

No founder updates yet. Check back soon.