Skip to content

Iprop logic#25

Merged
digama0 merged 6 commits intoleanprover-community:masterfrom
markusdemedeiros:iprop_logic
May 25, 2025
Merged

Iprop logic#25
digama0 merged 6 commits intoleanprover-community:masterfrom
markusdemedeiros:iprop_logic

Commits

Commits on May 5, 2025

Commits on May 13, 2025

Commits on May 24, 2025

Commits on May 25, 2025