Skip to content
This repository was archived by the owner on Aug 28, 2025. It is now read-only.

add DefineEvenNumber proof, more notes, and some refs #7

Merged
von-steinkirch merged 1 commit into from
Jun 17, 2025

add definig even number proof, more notes, and some refs

714aba8
Select commit
Loading
Failed to load commit list.
Merged

add DefineEvenNumber proof, more notes, and some refs #7

add definig even number proof, more notes, and some refs
714aba8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar