Giters

TheoBessel / TIPE2023

Projet de TIPE pour l'année 2023

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

TIPE2023

Projet de TIPE pour l'année 2023

About

Projet de TIPE pour l'année 2023

License:GNU General Public License v3.0

Languages

Language:OCaml 77.4%Language:Agda 22.6%