{-# OPTIONS --safe #-}
module Cubical.Papers.Everything where

import Cubical.Papers.AffineSchemes
import Cubical.Papers.CohomologyRings
import Cubical.Papers.ComputationalSyntheticCohomology
import Cubical.Papers.FunctorialQcQsSchemes
import Cubical.Papers.Pi4S3
import Cubical.Papers.RepresentationIndependence
import Cubical.Papers.SmashProducts
import Cubical.Papers.Synthetic
import Cubical.Papers.ZCohomology