Added "harmony-lemma-formalization" as a new case study#273

Merged

MartyO256 merged 2 commits intoBeluga-lang:masterfrom

GabrieleCecilia:master

Jul 29, 2024

Commits on Jul 28, 2024

added harmony-lemma-formalization
GabrieleCecilia
committed

Commits on Jul 29, 2024

Apply suggestions from code review
MartyO256
authored