Gentzen の LK にインスパイアされた proof verifier のプロトタイププロジェクトを始めた。とりあえず tokenize まで

https://github.com/kt3k/lk-proto/blob/5c18876c689c23d9e8089f945c3b388306d64e33/main.ts