2023.11.12

https://gyazo.com/e1ce9a913a6e26e3838bee3c38d052e6

Current Mood

↑

いいね

今日は可証性述語を（非構成的に）定義した

https://s3.fedibird.com/cache/media_attachments/files/111/393/196/220/111/863/original/d51f577a42d4a07a.png

本当にもうすこしで出来そうで感動している．