To take part in discussions on talkSFU, please apply for membership (SFU email id required).

Need tutor for Cmpt 489

If there are any tutors that know the coq language please reach out.
Sign In or Register to comment.