2 ms·
And Lean (which also uses Perceus RC) too: https://www.microsoft.com/en-us/research/project/lean/ https://www.microsoft.com/en-us/research/project/lean/
by ReleaseCandidat 3y ago
And Lean (which also uses Perceus RC) too: https://www.microsoft.com/en-us/research/project/lean/ https://www.microsoft.com/en-us/research/project/lean/