Geeks
bbencina
/
Logic_lean_lists
Exercises for Logic in Computer Science class.
Primary Language
Lean
Logic_lean_lists GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
Watchers
bbencina
Ljubljana, Slovenia