Skip to content
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
Wenda302:main
Open

fixed some Isabelle errors reported by Yutaka and Daniel#121
Wenda302 wants to merge 2 commits into
openai:mainfrom
Wenda302:main

Commits

Commits on Sep 27, 2022