Skip to content

README: updated description of TLAPS vs TLAPM#232

Merged
ahelwer merged 1 commit intotlaplus:mainfrom
ahelwer:readme-tlapm-tlaps
Jul 23, 2025
Merged

README: updated description of TLAPS vs TLAPM#232
ahelwer merged 1 commit intotlaplus:mainfrom
ahelwer:readme-tlapm-tlaps

Commits

Commits on Jul 23, 2025