mudras / google / seesaw

google/seesaw

5680 stars · 1 scan · Last scanned 2026-04-19 08:02:14

7.63Crossing #
10.15Unknotting
673Findings
0%Merge Rate

Knot Census

Trefoils 109 High Unknot 95 Dead Code 58 No Default 56 Broken Mirror 9

Severity

673 findings
Errors: 56Warnings: 213Hints: 58

Accuracy

85% confidence
0 TP · 0 FP
File-level complexity, hotspot map, and coupling graph available with Pro ($199/mo) or a repo report ($49). Backed by 6,544 mechanized Lean 4 theorems.