About the Computer science assignment template
This document provides a structured layout for computer science assignments, including headers for group information, member names, and matriculation numbers. The four-page sample demonstrates the use of the minted package for code and formal logic notation, such as Hoare-Kalkül verification examples. Users replace the sample text with their own assignment problems and solutions.
- Header for group and member details
- Support for minted code listings
- Formal verification notation support
- Four-page assignment structure
How to use it
- 1Open it in Texeno as your own project, with every file in place.
- 2Write in the browser. It compiles with pdfLaTeX as you go and explains errors in plain words.
