ekaprits

University of MichiganAnn Arbor, MI

Pinned Repositories

baltagony
The baltagony multiplayer card game
Language:Python00
dafny
Dafny is a verification-aware programming language
Language:C#2.9k262
verification-class
Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos
Language:Dafny110
eecs498-f24
A repository with the assignments, demos and lab exercises for EECS498-003/CSE598-008 in Fall 2024
Language:Dafny51