nunchaku-lean

Project information

Integration of the Nunchaku model finder in the Lean theorem prover.

Internship project at the VU Amsterdam. With the help and precious guidance of Jasmin Blanchette and Johannes Hölzl.

Created on

July 05, 2018

Copy SSH clone URLgit@gitlab.binets.fr:pablo.le-henaff/nunchaku-lean.git
Copy HTTPS clone URLhttps://gitlab.binets.fr/pablo.le-henaff/nunchaku-lean.git

Loading