|
|
|
|
|
|
by iou
1138 days ago
|
|
|
Yes& If you like that angle I think you’d really like the part of this talk https://www.youtube.com/watch?v=k6pPcnLuOXY from Emina Torlak, goes into how they were able to have duel implementations to get both performance and formal correctness. |
|
|