GIT_FEED

chasenorman/CanonicalLean

A Lean tactic for Canonical, a search procedure for terms in dependent type theory.

View on GitHub
0Active

On the radar — signal detected

Stars
111
Forks
10
Contributors
1
Language
Lean

Score updated Mar 26, 2026

// SUBSCRIBE

The repos that moved this week, why they matter, and what to watch next. One email. No noise.