This is an archived version pinned as of the submission of my master's thesis. An up-to-date version may be found online.

Organic Chemistry

Files in the organic chemistry folder

module organic-chemistry where

open import organic-chemistry.alcohols public
open import organic-chemistry.alkanes public
open import organic-chemistry.alkenes public
open import organic-chemistry.alkynes public
open import organic-chemistry.ethane public
open import organic-chemistry.hydrocarbons public
open import organic-chemistry.methane public
open import organic-chemistry.saturated-carbons public