2025-10-03: 細かい証明の調整をしていた
やったこと
Nominal
細かい定理の証明の調整などをしていた。
ChatGPTに読ませていい感じにならないかなぁと試行錯誤している。
分かっているようで分かっていないのが大変難しい。
if you wanna break free you better listen to me
細かい定理の証明の調整などをしていた。
ChatGPTに読ませていい感じにならないかなぁと試行錯誤している。
分かっているようで分かっていないのが大変難しい。
2025-10-04: productの数え上げが間違っていた
2025-10-03: 細かい証明の調整をしていた