This repository was archived by the owner on Oct 19, 2023. It is now read-only.

add quine example#22

Open

mo271 wants to merge 1 commit into

leanprover-community:mainfrom

Workflow runs completed with no jobs