Search: github.com/epfl-lara | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Inox: Solver for higher-order functional programs (github.com/epfl-lara)

2 points

7 years ago

2.

Isabelle as a solver in Leon (github.com/epfl-lara)

2 points

11 years ago

3.

Stainless – Verification framework and tool for higher-order Scala programs (github.com/epfl-lara)

1 point

5 years ago