Molecular biology

Stream: Is there code for X?

[Matthew Pocock]

I was wondering if there was code for modelling theorems about DNA nucleotides and sequences. The rules of how DNA sequences are constructed and manipulated and transformed can be captured formally, but before I sketch it out I'd like to know if it has been done already. How would I search? I'm still a noob.

[Scott Morrison]

I doubt anyone has touched this in Lean.

[Matthew Pocock]

I thought it was a longshot.

[Tyler Josephson ⚛️]

Interesting! What do you have in mind?

[Martin Dvořák]

Are there theorems about DNA that can be (mathematically) proved?