feat: Implementing Mutual Fixpoints#104

Merged

markusdemedeiros merged 9 commits intoleanprover-community:masterfrom

GenericMonkey:mutual_fixpoint

Jan 17, 2026

Commits on Dec 15, 2025

port of fixpointab and fixpointab_ne sections
GenericMonkey
committed

Commits on Dec 16, 2025

Commits on Dec 17, 2025

adding function coersion for fA and fB
GenericMonkey
committed

Commits on Dec 20, 2025

Commits on Jan 17, 2026

Merge branch 'master' into mutual_fixpoint
markusdemedeiros
authored