You can create a release to package software, along with release notes and links to binary files, for other people to use. Learn more about releases in our docs.

This is a webpage of the course "CS402 Introduction to Logic for Computer Science", which is offered at the KAIST CS department in the spring of 2021. The webpage will contain links to course-related ...