High Temperature Superconducting Magnet for Commercial Fusion Applicationsyoutube.com·1 pts·holonomically·0
Checking Dependent Types with Normalization by Evaluation: A Tutorialdavidchristiansen.dk·2 pts·holonomically·0