Skip to content

Issues: snu-sf-class/pl201602

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

31 Open 37 Closed
31 Open 37 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

[Announcement] Your grade is announced
#69 opened Dec 21, 2016 by aqjune
[Announcement] Total Score
#68 opened Dec 13, 2016 by aqjune
2
Claim on final (due: 12/12)
#67 opened Dec 12, 2016 by jeehoonkang
1
저기 오늘 과제 마감이 밤 12시인줄 알았는데 낮 12시로 되어있네요 혹시 지금 제출 안되나요
#66 opened Dec 9, 2016 by garion89
3
[Announcement] Homework solution
#65 opened Dec 9, 2016 by aqjune
[Annoucement] Final term range
#64 opened Dec 9, 2016 by aqjune
2
assignment evaluation error
#62 opened Dec 9, 2016 by kim715go
3
[Annoucement] Midterm Scores, Grading Policy
#61 opened Dec 7, 2016 by aqjune
1
make eval 오류
#55 opened Nov 29, 2016 by 9lung
1
Maps.beq / Datatypes.true
#54 opened Nov 29, 2016 by 9lung
3
Prob 2 in assignment 07
#53 opened Nov 29, 2016 by ljw9111
2
You don't need to solve P03.v in Assignment 07
#52 opened Nov 29, 2016 by aqjune
1
Query commands should not be inserted in scripts
#51 opened Nov 28, 2016 by 9lung
4
PL Homework Server Problem
#50 opened Nov 27, 2016 by aqjune
4
Miderm claim 2: partial solution to Problem 8
#41 opened Nov 1, 2016 by jeehoonkang
9
Midterm Claim 1: in problem 8, sorted is right but the server says otherwise
#39 opened Oct 30, 2016 by jeehoonkang
9
Claim on Midterm (due: 11/4)
#37 opened Oct 30, 2016 by jeehoonkang
1
Assignment 04 P04 질문
#34 opened Oct 24, 2016 by dreamtaker1001
1
[Announcement] Assignment 04 E?? files updated
#29 opened Oct 19, 2016 by aqjune
2
assert 대신 Lemma 써도 되는지 궁금합니다.
#25 opened Oct 9, 2016 by ljw9111
3
Consider using MSYS2 instead of Cygwin
#24 opened Oct 5, 2016 by simnalamburt
1
Require Export P01. 문장 진행 시 에러
#23 opened Oct 5, 2016 by Jooh34
1
There is an error when i type "make" (내용 수정)
#22 opened Oct 3, 2016 by dreamtaker1001
1
coq설치관련 질문입니다
#21 opened Oct 3, 2016 by chickenbear
3
숙제 2를 제출하는데, 숙제 서버에서 P10.v 에 문제가 발생합니다.
#20 opened Oct 3, 2016 by sangjaekang
5
ProTip! Follow long discussions with comments:>50.