Mentions légales du service

Skip to content

GitLab

Explore

Sign in

Admin message

GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.

W

WEBI

Project information

Formal operational semantic of WEBI language written in coq. Purpose of this project is to give a behavioural description of WEBI in COQ, using Small Step and Skeletal Semantics

110 Commits
1 Branch
0 Tags

README

Created on

February 28, 2019

Copy SSH clone URLgit@gitlab.inria.fr:akhayam/webi.git
Copy HTTPS clone URLhttps://gitlab.inria.fr/akhayam/webi.git

Loading