_CoqProject

-R src/ Prob

src/Types/Iso.v
src/Types/Finite.v
src/Types/Equiv.v
src/Types/Setoid.v
src/Types/List.v
src/Types/UIP.v

src/Numbers/QFacts.v
src/Numbers/QPosFacts.v

src/FormTopC/Approx.v
src/FormTopC/Cantor.v
# src/FormTopC/Compact.v
src/FormTopC/Cont.v
src/FormTopC/Discrete.v
src/FormTopC/FormTop.v
src/FormTopC/FormalSpace.v
src/FormTopC/Product.v
src/FormTopC/InfoBase.v
# src/FormTopC/Join.v
src/FormTopC/Lift.v
src/FormTopC/Locale.v
src/FormTopC/Metric.v
src/FormTopC/MReal.v
src/FormTopC/NatInfty.v
src/FormTopC/Subspace.v
src/FormTopC/IGSubspace.v
src/FormTopC/Truncate.v
src/FormTopC/Pattern.v
src/FormTopC/Sum.v

src/FormTopC/Spaces/One.v
src/FormTopC/Spaces/PosUR.v

src/Algebra/Category.v
src/Algebra/FrameC.v
src/Algebra/Sublocale.v
src/Algebra/SetsC.v
src/Algebra/OrderC.v
src/Algebra/PreOrder.v
src/Algebra/FreeLattice.v

src/Algebra/Category/Type.v
src/Algebra/Category/Setoid.v
src/Algebra/Category/Functor.v
src/Algebra/Category/Cartesian.v
src/Algebra/Category/Monad.v

src/Language/ContPL.v
# src/Language/ContPLProps.v

src/clement/SmallPowers.v

src/StdLib.v