딱국아 coq 언어 알어?

발명도둑잡기(aerohong) 2024-03-19 01:34:00 추천 5

https://en.m.wikipedia.org/wiki/Coq_(software)

이거 쓰는 사람 있어?

댓글 1

이거 이름만 들어봄

딱국(kgm12345) 2024-03-19 04:21:00