DOC

Add HOAS support for mutual fixpoints (mfix constructor) #2160

Sign in to view logs

This workflow is awaiting approval from a maintainer in #999

Triggered via pull request April 16, 2026 18:12

ebmoon

synchronize #999

theorem-labs:mfix-hoas-master

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #999

doc.yml

on: pull_request