Placeholder for paper in progress

agda / cubical

An experimental library for Cubical Agda

https://agda.github.io/cubical/Cubical.README.html

Other

441 stars 134 forks source link

Placeholder for paper in progress #1094

Closed aljungstrom closed 5 months ago

aljungstrom commented 5 months ago

Adding a formalisation file for a paper I'm working on. Right now it's empty because I just want a working url in the paper. I'll update it tomorrow at the latest.