Giters
Martin Harrison (starktyping)

starktyping

Geek Repo

1

followers

0

following

3

stars

Home Page:starktyp.ing

Github PK Tool:Github PK Tool

Martin Harrison's repositories

starktyping

banner

Stargazers:1Issues:0Issues:0

GlowCoon

a formal specification of PCR using TLA+

Language:TLALicense:MITStargazers:0Issues:0Issues:0

math-old

math from UCSB/Annapolis era

Language:TeXLicense:MITStargazers:0Issues:1Issues:0