Put list example files in a different branch - Githubissues

epfl-lara / lisa

Proof assistant based on first-order logic and set theory

Apache License 2.0

33 stars 18 forks source link

Put list example files in a different branch #180

Closed SimonGuilloud closed 11 months ago