N
nunchaku-lean
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.
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.