theories/isomorphism.v
theories/weil_algebras.v

theories/axioms.v

theories/basic_infinitesimal_spaces.v

theories/common.v


-R theories iris_internal_logic