Seeram

Matúš Behun

Bratislava

Pinned Repositories

Cayley-graph-generation
Bachelor thesis.
Language:TeX00
Configuration-files
Suitcase of my configuration files.
Language:Vim Script00
Lean-proof-assistant
Diploma thesis.
Language:Lean01

Seeram's Repositories

Seeram/Cayley-graph-generation
Bachelor thesis.
Language:TeX00
Seeram/Configuration-files
Suitcase of my configuration files.
Language:Vim Script00
Seeram/Lean-proof-assistant
Diploma thesis.
Language:Lean01