search

theoremprover-museum / theoremprover-museum.github.io

https://theoremprover-museum.github.io
GNU General Public License v3.0
52 stars 7 forks source link

Add Oleg #22

Closed mietek closed 4 years ago

mietek commented 4 years ago

Requesting permission to transfer ownership of the https://github.com/mietek/oleg repository to the museum.

kohlhase commented 4 years ago

thanks a lot. I think I saw that you were asking for permission to add oleg to the theorem prover museum, but I cannot find anything there yet. I am very happy to let you do that, but I need a handle. Could you re-send that. Otherwise I can just make a repository and give admin to you.

mietek commented 4 years ago

My handle is “mietek”. If you add me as a contributor with the right to create public repositories, then I will be able to make the transfer.

kohlhase commented 4 years ago

I made a repository and gave you admin, that should be sufficient, no?

mietek commented 4 years ago

Yes, this works as well. Thank you. Oleg is up at https://github.com/theoremprover-museum/oleg