/Lean4-Translate-Tactic

A prototype Lean4 tactic for translating propositions through isomorphisms.

Primary LanguageLean

Stargazers

No one’s star this repository yet.