Geeks
ungatz
/
lograc-2022
Git repository for the course Logika v računalništvu
Primary Language
Agda
lograc-2022 GitHub
Markdown
Readme
0
Issues
1
Stargazer
0
Watchers
Stargazers
Good4lien
Moscow, Russia