Skip to content
This repository was archived by the owner on Oct 20, 2026. It is now read-only.

Show both types when theorem statements differ - #105

Open
muneikh wants to merge 1 commit into
leanprover:masterfrom
muneikh:show-theorem-statement-mismatches
Open

Show both types when theorem statements differ#105
muneikh wants to merge 1 commit into
leanprover:masterfrom
muneikh:show-theorem-statement-mismatches

Commits

  1. Commits on Oct 11, 2026