mhuisi/Uniq

Static Uniqueness Analysis for the Lean 4 Theorem Prover

Language: Lean - Size: 2.99 MB - Last synced at: about 14 hours ago - Pushed at: about 2 years ago - Stars: 9 - Forks: 1