6,248 followers
RT @sinya8282: Automated Constructivization of Proofs https://t.co/eMA6RYpBn1 線形時間でLKの証明図をLJ化する話(もちろんincomplete).
RT @sinya8282: Automated Constructivization of Proofs https://t.co/eMA6RYpBn1 線形時間でLKの証明図をLJ化する話(もちろんincomplete).
RT @sinya8282: Automated Constructivization of Proofs https://t.co/eMA6RYpBn1 線形時間でLKの証明図をLJ化する話(もちろんincomplete).
Automated Constructivization of Proofs https://t.co/eMA6RYpBn1 線形時間でLKの証明図をLJ化する話(もちろんincomplete).