Contents

Require Import DNA.

Definition to_rna: list DNA -> list RNA :=
  (* Add your definition here *)
  .

Version data entries

230 entries across 230 versions & 1 rubygems

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