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.139 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.138 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.137 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.136 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.135 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.134 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.133 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.132 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.131 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.130 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.129 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.128 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.127 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.126 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.125 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.124 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.123 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.122 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.121 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.120 tracks/coq/exercises/tautology/.meta/description.md