Revision c81ffcaf04f7d5108bec9d499f3f46d8d72e423e authored by Matthieu Sozeau on 08 August 2018, 10:19:20 UTC, committed by GitHub on 08 August 2018, 10:19:20 UTC
Weak call-by-value evaluation definition
2 parent s aa2a2c4 + 1ea1a8f
History
File Mode Size
theories
Makefile -rw-r--r-- 25.7 KB
_CoqProject -rw-r--r-- 227 bytes

back to top