RIT Linux Users' Group

We are a student-led organization to contribute to and engage students in Linux & open source.

Work on projects and discuss interesting topics in the Linux & open source communities.

Weekly meetings every Friday, from 4:30PM - 6:00PM.

Discuss

Discord Mailing List (Google Group) #ritlug on IRC Twitter

Do

Get Involved Calendar Projects GitHub

Latest News

RIT students, please subscribe on CampusGroups; RIT's filters don't like the public list. RIT non-students, please email eboard@ritlug.com to be added on CampusGroups.

Week #10: Rocqing Out

30 October 2026

Hello!

How do you know a program (like your kernel) works correctly? The typical answer is tests, but you can’t predict every case in your tests. The solution is a proof assistant, a programming language where you can state and prove logical statements. This week, Lyran will introduce us to one such proof assistant: Rocq.

Prove you exist from 4:30-6:00pm this Friday in GOL-1445!

Event Details

Fri, Oct. 30, 2026
04:30pm - 06:00pm
GOL-1445

Affiliates