Summary file/missing cohomology lemmas

agda / cubical

An experimental library for Cubical Agda

Other

450 stars 138 forks source link

Closed aljungstrom closed 8 months ago

aljungstrom commented 8 months ago

@mortberg

mortberg commented 8 months ago

It's failing... Can you fix @aljungstrom ?

mortberg commented 8 months ago

Perfect!