Beast code in Giters

Massimo Tisi's repositories

Language:Coq1 10

Language:TeX100

A simulation of the cacao market for the CODEVSI course.

Language:Java000

Language:Java000

Language:Java000

A simulation of the cacao market for the CODEVSI course

Language:Java000

000

Formal Reasoning About Programs

Language:CoqNOASSERTION010

A collection of useful .gitignore templates

CC0-1.0000

Projet lumicity, dans le cadre de l'aventure les Entrep' 2020/2021.

Language:Python000

Language:JavaGPL-3.0000

Language:Java000

000