Sha256: 2f30aed76548997ced7e5489d7cd40c9e7ec111cd84f535b711dff5994688c91

Contents?: true

Size: 59 Bytes

Versions: 230

Compression:

Stored size: 59 Bytes

Contents

Let us start by proving something we already know is true.

Version data entries

230 entries across 230 versions & 1 rubygems

Version Path
trackler-2.2.1.180 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.179 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.178 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.177 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.176 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.175 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.174 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.173 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.172 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.171 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.170 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.169 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.167 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.166 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.165 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.164 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.163 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.162 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.161 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.160 tracks/coq/exercises/tautology/.meta/description.md