3 ms·
Leon (http://lara.epfl.ch/w/leon http://lara.epfl.ch/w/leon) -- effectively, a verification/synthesis framework around Scala
by ivcha 10y ago
Leon (http://lara.epfl.ch/w/leon http://lara.epfl.ch/w/leon) -- effectively, a verification/synthesis framework around Scala