GitHub repository: suyashabobhate/Probailistic-model-checking
Primary language: Raku
Description: A project repo for course CS 6110 at the University of Utah