Pinned Repositories
Goeland
A first-order concurrent automated theorem prover
jcailler.github.io
Personnal page of Julie CAILLER
programmation-fonctionnelle-ul
Functional programming course at FST, University of Lorraine
ACL2024_OSeF
sc-tptp
This repository contains a set of utilities to handle, import, export and transform proofs in sc-tptp format
SPIN2025
programming-2-ex-0
Skeleton for exercise 0 of the Programming II course
programming-2-ex-1
Skeleton for exercise 1 of the Programming II course
programming-2-ex-5
Skeleton for exercise 5 of the Programming II course
ACL_Project
jcailler's Repositories
jcailler/jcailler.github.io
Personnal page of Julie CAILLER
jcailler/programmation-fonctionnelle-ul
Functional programming course at FST, University of Lorraine