search

galushin / saga

GNU General Public License v3.0
0 stars 0 forks source link

Proof-carrying types #1178

Open galushin opened 1 year ago

galushin commented 1 year ago

Увидел в у Peter Van Sandt - CppNow 2022