Name: 琴葉茜と シーケント計算LKの健全性
Uploaded: 2024-01-03T15:12:03+09:00
Duration: 935 s
Channel: ◆mEiZUgAIKE
Description: 証明論・証明体系・シーケント計算について話し、Γ⊢_{LK}Δ⇒Γ⊨Δを証明します。前:sm42049458

(Translated by https://www.hiragana.jp/)
琴葉茜とシーケント計算LKの健全性 - ニコニコ動画

ニコニコ動画どうが