rocq
Star 0
Fork 0
Watch
rocq proof.v
63 B · 4 lines
at commit 4106408d