Sha256: 7bcb61efe3cac9d51df6d5e8db07a807590b7de0c792dae2dd6285296bea87bd

Contents?: true

Size: 114 Bytes

Versions: 229

Compression:

Stored size: 114 Bytes

Contents

---
blurb: "The first rule of the Tautology Club is the first rule of the Tautology Club "
source: "Coq classics"

Version data entries

229 entries across 229 versions & 1 rubygems

Version Path
trackler-2.2.1.159 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.158 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.157 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.156 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.155 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.154 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.153 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.152 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.151 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.150 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.149 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.148 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.147 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.146 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.145 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.144 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.143 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.142 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.141 tracks/coq/exercises/tautology/.meta/metadata.yml
trackler-2.2.1.140 tracks/coq/exercises/tautology/.meta/metadata.yml