7 followers
https://t.co/KE8cCmoh8k coq formalization
https://t.co/KE8cCmoh8k coq formalization
Finished reading: Paul Downen and Zena M. Ariola. The Duality of Construction. ESOP 2014. https://t.co/po9zVRL1iB
@rtfeldman Any remnants of the personal experiments online showing what went wrong? I was increasingly leaning towards thinking I might be on the right track: https://t.co/XRZxs6ND63
@takemioIO ありがとうございます! うーん、進捗大陸02の元論文 (https://t.co/csC4mqXjLu) 以外にはあまり…。あと近いかもしれないのは https://t.co/IODQZZ2x0a とかでしょうか