Geeks
xekoukou
/
tla-agda-examples
Primary Language
Agda
GNU Affero General Public License v3.0
AGPL-3.0
tla-agda-examples GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
No issues in this repository yet.