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

기괴공학도님 람다프롤로그 여기서 다운 받으셧나요?

익명(211.36) 2020-07-08 12:46 추천 0

https://github.com/teyjus/teyjus/releases


깃허브가 낯설어서요


이거 믿고 ㅂㅏㄷ아도 되는건가요?

댓글 2

  • https://github.com/teyjus/teyjus/releases/tag/v2.0-b2

    기괴공학도(mecheng98) 2020-07-10 16:16
  • 답글

    여기서 teyjus-installer-2.0-b2.exe를 다운 받으시면 됩니다.

    기괴공학도(mecheng98) 2020-07-10 16:16

다른 게시글

  • 문제점 풀어주세요 [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
  • 이거 왜 4개명사의 오류인지 해석좀 [1]
    익명(211.36) | 20.06.29
    추천 0
  • 술어논리의 한계 [7]
    ㅏㅡㄱ(106.101) | 20.06.28
    추천 0
목록으로
읽기 전용 미러