# content
Proof types in Dart: Using final classes as computational witnesses (by modulovalue) — discussion

#compilers #security