N

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.

38 Commits
1 Branch
0 Tags

README
Apache License 2.0

Created on

July 05, 2018

Loading