massimotisi

Pinned Repositories

coqtl
CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
Language:Coq13 7 4412
CACAO-2023
A simulation of the cacao market for the CODEVSI course.
Language:Java00
CACAO2021
Language:Java00
CACAO2022
Language:Java00
CACAO2024
A simulation of the cacao market for the CODEVSI course
Language:Java00
CoqTL
Language:Coq1 1 07
DT_Platform_Comparison
00
frap
Formal Reasoning About Programs
Language:Coq0 1 00
gitignore
A collection of useful .gitignore templates
00
massimotisi.github.io
Language:TeX10

massimotisi's Repositories

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