Skip to content

Modify 4 Isabelle statements suggested in ProofAug - #18

Open
haoxiongliu wants to merge 2 commits into
facebookresearch:mainfrom
haoxiongliu:proofaug
Open

Modify 4 Isabelle statements suggested in ProofAug#18
haoxiongliu wants to merge 2 commits into
facebookresearch:mainfrom
haoxiongliu:proofaug

add name

71174e4
Select commit
Loading
Failed to load commit list.
Meta CLA / Meta CLA Check succeeded Jul 27, 2026 in 0s

Contributor License Agreement is valid!

View more details on Meta CLA