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

import Cubical.Papers.AffineSchemes
import Cubical.Papers.CohomologyRings
import Cubical.Papers.Pi4S3
import Cubical.Papers.RepresentationIndependence
import Cubical.Papers.Synthetic
import Cubical.Papers.ZCohomology