massimotisi

Pinned Repositories

coqtl
CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
Language:Coq14 7 4413
CACAO-2023
A simulation of the cacao market for the CODEVSI course.
Language:Java00
CACAO2021
Language:Java00
CACAO2022
Language:Java0 1 00
CACAO2024
A simulation of the cacao market for the CODEVSI course
Language:Java0 0 00
CoqTL
Language:Coq1 0 07
DT_Platform_Comparison
0 0 00
frap
Formal Reasoning About Programs
Language:Coq0 0 00
gitignore
A collection of useful .gitignore templates
0 0 00
lumicity
Projet lumicity, dans le cadre de l'aventure les Entrep' 2020/2021.
Language:Python00

massimotisi's Repositories

massimotisi/CoqTL
Language:Coq1 0 07
massimotisi/massimotisi.github.io
Language:TeX1 1 00
massimotisi/CACAO-2023
A simulation of the cacao market for the CODEVSI course.
Language:Java00
massimotisi/CACAO2021
Language:Java00
massimotisi/CACAO2022
Language:Java0 1 00
massimotisi/CACAO2024
A simulation of the cacao market for the CODEVSI course
Language:Java0 0 00
massimotisi/DT_Platform_Comparison
0 0 00
massimotisi/frap
Formal Reasoning About Programs
Language:Coq0 0 00
massimotisi/gitignore
A collection of useful .gitignore templates
0 0 00
massimotisi/lumicity
Projet lumicity, dans le cadre de l'aventure les Entrep' 2020/2021.
Language:Python00
massimotisi/MS-MDE-RL
Language:Java0 0 00
massimotisi/naomoddays2022-ATL
Language:Java00
massimotisi/xtext-website
Language:HTML0 0