Pinned Repositories
orcidlink-LaTeX-command
LaTeX style file to add a macro for inserting a linked ORCiD logo
agda-stdlib
The Agda standard library
liwoxa's Repositories
liwoxa/agda-stdlib
The Agda standard library
LaTeX style file to add a macro for inserting a linked ORCiD logo
The Agda standard library
The Agda standard library