3 ms·
This is the 3rd round, not the second.
by dependenttypes 6y ago
This is the 3rd round, not the second.
- nabla9 6y agoThis is the 2nd round that selected 3rd round finalists.
- dependenttypes 6y ago"made into the second round" means that it passed the 1st round and entered the second.