Index of /~bard/bachelor

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]bachelor_thesis.pdf 2019-12-04 18:04 309K 
[   ]coq_dev.zip 2019-12-04 18:04 134K 
[DIR]coq_doc/ 2019-12-04 18:04 -  
[   ]final_talk.pdf 2019-12-04 18:04 178K 
[   ]fst-talk.pdf 2019-12-04 18:04 139K 
[   ]snd-talk.pdf 2019-12-04 18:04 170K