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 intoleanprover-community:mainfrom

Commits on Apr 4, 2023

add quine example
mo271
committed