Add mgignoux/lean4-gl-coalgebras to bibliography
#33
| Job | Run time |
|---|---|
| 34s | |
| -1s | |
| 33s |
mgignoux/lean4-gl-coalgebras to bibliography
#33
| Job | Run time |
|---|---|
| 34s | |
| -1s | |
| 33s |