I noticed that there are already some discussions about IAU2000 CRS in QGIS, GDAL and here. Is there any update on these CRSs?
http://osgeo-org.1560.x6.nabble.com/Missing-lunar-CRS-td5444768.html
http://osgeo-org.1560.x6.nabble.com/PROJ-IAU2000-CRS-definitions-td5405737.html

I find that there are already some repositories of IAU2000 CRSs in WKT format:
https://github.com/USGS-Astrogeology/GDAL_scripts/tree/master/OGC_IAU2000_WKT_v2
https://svn.osgeo.org/metacrs/sr.org/srsbrowser/data/IAU2000.wkt

So can we migrate these wkt data into Proj directly？And what else need to be done?

I am not familiar with this projection thing. Please forgive me if there is anything wrong.