定理証明


2019

  1. IsabelleによるCBC CasperのSafetyの証明をしました

2017

  1. Proof Assistantを作る・発展編 その7
  2. Proof Assistantを作る・マクロ編 その6
  3. Proof Assistantを作る・実装編 その5
  4. Proof Assistantを作る・実装編 その4
  5. Proof Assistantを作る・実装編 その3
  6. Proof Assistantを作る・実装編 その2
  7. Proof Assistantを作る・実装編 その1
  8. Proof Assistantを作る・理論編 その2
  9. Proof Assistantを作る・理論編 その1