Discrete 2021: Individual Presentations

Topics Assignments Coq Summaries Presentations Sources

Individual presentations on chosen topics.