Giters

ozym4nd145 / Logic_Assignments

Assignments done during the period of course: Logic for Computer Science

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Logic_Assignments

Assignments done during the period of course: Logic for Computer Science

About

Assignments done during the period of course: Logic for Computer Science

License:MIT License

Languages

Language:Standard ML 73.5%Language:TeX 13.1%Language:Yacc 6.9%Language:Lex 6.3%Language:Shell 0.1%