search

jiansyuan / jiansyuan.github.io

1 stars 0 forks source link

Theorem Proving & Program Verification by Coq #6

Open jiansyuan opened 1 year ago

jiansyuan commented 1 year ago

https://jsy.mcnia.top/2023/03/06/Theorem-Proving-and-Program-Verification-By-Coq/

Content Content Introduction 1. Proof Equation 1.1 Proving Right Inverse Property 1.2 Proving Right Unit Property 1.3 Proving Double Negation Property 2. Inductive Type, Recursive Definitions and

NIANIANKNIA commented 1 year ago

哇，好可爱的jsy，吃掉🥺🥺🥺