Skip to content

add name

71174e4
Select commit
Loading
Failed to load commit list.
Open

Modify 4 Isabelle statements suggested in ProofAug #18

add name
71174e4
Select commit
Loading
Failed to load commit list.
Facebook GitHub Tools / Facebook CLA Check succeeded Jul 16, 2025 in 0s

Contributor License Agreement is valid!