29 citations · 29 across the 1 of their papers we have counts for
1 paper
Jad Hamza, Nicolas Voirol, Viktor Kunčak
We present the design, implementation, and foundation of a verifier for higher-order functional programs with generics and recursive data types. Our system supports proving safety…