Hm, I had not heard about that. SIAI doesn’t seem to do a very good job of publicizing its projects or perhaps doesn’t do a good job of finishing and releasing them.
It just started this month, at the same time as Summit preparation.
Hm, I had not heard about that. SIAI doesn’t seem to do a very good job of publicizing its projects or perhaps doesn’t do a good job of finishing and releasing them.
It just started this month, at the same time as Summit preparation.