Homec4science

Fix the definition of value

Authored by abgruszecki on Tue, Nov 17, 21:46.

Description

Fix the definition of value

Details

Committed
abgruszeckiTue, Nov 17, 21:46
Pushed
abgruszeckiTue, Nov 17, 21:46
Parents
R9452:82508ce68c46: Adjust advanced Coq notebook
Branches
Unknown
Tags
Unknown
References
HEAD -> master