Name		Name	Last commit message	Last commit date
exercises		exercises
theories		theories
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
_RocqProject		_RocqProject

Repository files navigation

Formalization of Semantics and Foundations

About

A Rocq formalization of the SEMPL course of M2 MPRI

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages