Files

 master

/

Huang

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

lemmy

DyadicRationals in CommunityModules renamed dem to den

Sep 25, 2022

8c2393c · Sep 25, 2022

History

History

This branch is 138 commits behind tlaplus/Examples:master.

/

Huang

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
Huang.cfg		Huang.cfg	Better align spec with other EWD* specs related to termination detect…	Jan 26, 2022
Huang.tla		Huang.tla	DyadicRationals in CommunityModules renamed dem to den	Sep 25, 2022
View all files