Closed this issue 2 years ago · 1 comments
We have a research group that can be called
Type theory group at University of Warsaw
Currently we do not have a web page.
Fixed in 0e7fd2e. Thank you.