본문 바로가기
숨터 가볍게 읽는 공간
전체 베스트 최근
← logic 게시판

제가 코딩을 잠시 쉬려고 해서

기괴공학도(218.232) 2020-07-13 22:47 추천 2

github 계정을 날려버렸는데요,

다시 가입했습니다.

컴퓨터에 자연 연역 체커 코드가 남아있네요.

gist 팠습니다:

https://gist.github.com/KiJeong-Lim/2176375fc269f4728cf77acfe4676760

댓글 0

  • 아직 댓글이 없습니다.

다른 게시글

  • 서로 다른 방식으로 정의된 집합이 같은 것을 증명 [4]
    익명(211.48) | 20.07.09
    추천 1
  • 기괴공학도님 람다프롤로그 여기서 다운 받으셧나요? [2]
    익명(211.36) | 20.07.08
    추천 0
  • 문제점 풀어주세요 [8]
    Blooddrago..(vvv70261) | 20.07.08
    추천 0
  • 필요조건 충분조건 질문드립니다. [7]
    dd(211.208) | 20.07.06
    추천 0
  • 양상논리 배울 수 있는 학부 [1]
    익명(223.39) | 20.07.04
    추천 0
  • 술어논리 간단한 질문.... [4]
    익명(123.99) | 20.07.03
    추천 0
  • 질문이있다 [3]
    아빢(106.101) | 20.07.02
    추천 0
  • 밑에글 보다가 질문 [1]
    가나다(221.166) | 20.07.01
    추천 0
  • 술어논리 양화에 대한 간단한 질문 [2]
    익명(123.99) | 20.07.01
    추천 0
  • 이거 옳은 형식 언어의 표현인 거 맞나요? [7]
    기괴공학도(mecheng98) | 20.06.30
    추천 0
목록으로
읽기 전용 미러