Hollow Capital
Quint - an executable specification language
projects
software
programming-language
,
formal-verification
affine
April 11, 2025, 1:16pm
1