Organic chemistry

Content created by Fredrik Bakke, Egbert Rijke, Amélia Liao, Jonathan Prieto-Cubides, Alice Laroche and Szumi Xie.

Created on 2022-06-30.
Last modified on 2024-09-23.

Modules in the organic chemistry namespace

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

Recent changes

• 2024-09-23. Fredrik Bakke. Some typos, wording improvements, and brief prose additions (#1186).
• 2023-05-06. Egbert Rijke. Collecting some easily defined precategories (#598).
• 2023-03-12. Fredrik Bakke and Jonathan Prieto-Cubides. Generate module indexes (#501).
• 2023-03-06. Fredrik Bakke. Remove redundant whitespace in headers (#486).
• 2023-02-13. Jonathan Prieto-Cubides. Nueva era (#445).