Logicbox: Student-Built Tool Transforms Learning in Computability and Logic
- CS frontpage
Two computer science bachelor students - Felix and Kasper - have developed a new tool to help their fellow students to better navigate one of the programme’s courses: Computability and Logic. The tool, called Logicbox, aims to make it easier for students to write, test and understand formal proofs, without requiring a lot of coding from the…