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.119 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.118 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.117 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.116 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.115 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.114 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.113 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.111 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.110 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.109 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.108 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.107 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.106 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.105 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.104 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.103 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.102 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.101 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.100 tracks/coq/exercises/tautology/.meta/description.md
trackler-2.2.1.99 tracks/coq/exercises/tautology/.meta/description.md