log src/Reasoning.agda.replaced @ 0:85ee6174f90a default tip

age author description
Wed, 12 Feb 2020 17:55:00 +0900 ryokka add paper default tip