/Lean4-Translate-Tactic

A prototype Lean4 tactic for translating propositions through isomorphisms.

Primary LanguageLean

This repository is not active