This repository was archived by the owner on May 29, 2026. It is now read-only.

fixed some Isabelle errors reported by Yutaka and Daniel#121

Open

Wenda302 wants to merge 2 commits into

openai:mainfrom

Workflow runs completed with no jobs