This site is supported by donations to The OEIS Foundation.
User:Egbert Rijke
From OeisWiki
Jump to navigationJump to search
Egbert Rijke is a postdoctoral research fellow at Johns Hopkins University in Baltimore. He specializes in formalization of mathematics, and is the lead author of the agda-unimath library.
Homepage: https://egbertrijke.github.io
