https://gitlab.com/nomadic-labs/mi-cho-coq
Revision 6e946a37b532fa485bf73380b78dcfb725e266a4 authored by Raphael Cauderlier on 24 May 2018, 11:33:55 UTC, committed by Raphael Cauderlier on 12 March 2019, 14:36:44 UTC
1 parent 3e98c08
History
Tip revision: 6e946a37b532fa485bf73380b78dcfb725e266a4 authored by Raphael Cauderlier on 24 May 2018, 11:33:55 UTC
Syntax, typing, and operational semantics of the Michelson language in Coq
Tip revision: 6e946a3
File Mode Size
.gitignore -rw-r--r-- 31 bytes
Makefile -rw-r--r-- 121 bytes
README.md -rw-r--r-- 101 bytes
comparable.v -rw-r--r-- 8.2 KB
error.v -rw-r--r-- 302 bytes
int64.v -rw-r--r-- 1.0 KB
map.v -rw-r--r-- 11.7 KB
semantics.v -rw-r--r-- 12.6 KB
set.v -rw-r--r-- 6.1 KB
syntax.v -rw-r--r-- 27.8 KB
tez.v -rw-r--r-- 1.2 KB

README.md

back to top