2bb4c425ed9c28a8699fe8b115ef0469d2973f


1fa8dc23f69f37a023be9bb61ad0372e6b4e242afad50cbee043fadc036ed89442caac9f264a94b74abeac10ba095dce71efd182e3307dfb1d7170c1c300

이런 사진들 보면 컴퓨터로 입력한 것 처럼 가지런히 정리되어있던데, 이런 자연연역 시스템을 그려주는 프로그램이나 사이트가 있는거임? 

lemmon 같은 경우는 한컴같은 일반 워드프로세서로도 충분히 가능할 것 같긴 한데, 겐첸이나 fitch는 어떻게 그린거지?