log Paper/src/cbc-hoare.agda.replaced @ 0:c59202657321

age author description
2021-11-01 soto init