Overview of SvDR20 formalization

UniMath / agda-unimath

The agda-unimath library

https://unimath.github.io/agda-unimath/

MIT License

219 stars 70 forks source link

Closed VojtechStep closed 3 months ago

VojtechStep commented 4 months ago

I'm opening this so we can discuss how to write expositions to (partially) formalized papers in the library. Relevant to #1055

fredrik-bakke commented 3 months ago

Just linking to my previous review of this contribution in #1070

EgbertRijke commented 3 months ago

This is very nice!

VojtechStep commented 3 months ago

Eh, this was supposed to open up a discussion, not set the standard 😬