Geeks
Vtec234
/
lean-sesh
Session types in Lean
Primary Language
Lean
lean-sesh GitHub
Markdown
Readme
0
Issues
3
Stargazers
3
Watchers
Stargazers
alcides
LASIGE, University of Lisbon
bryangingechen
jakeswenson
Salesforce