Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

N

nunchaku-lean
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Environments
- Incidents

Snippets Groups Projects

- Pablo LE HENAFF
nunchaku-lean

An error occurred while fetching folder content.

N

nunchaku-lean

Project ID: 150

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

Select Git revision

0 results

nunchaku-lean

- Clone with SSH
- Clone with HTTPS
Open in your IDE
Download source code

Download source code

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

authored

Name	Last commit	Last update