GitHub repository: uncerso/Coq_tasks
Created: 2020-09-28T16:30:27Z
Description: Mathematical Logic and Algorithm Theory; homework with Coq.