https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: 2690e7daae013dcd3cfcd1c09823c56b3899167c authored by Raphaël Cauderlier on 11 April 2021, 14:59:11 UTC
[michocoq] Avoid redefining `False` in `util.v`
Tip revision: 2690e7d
File Mode Size
slides.org -rw-r--r-- 11.3 KB
slides.pdf -rw-r--r-- 59.8 KB

back to top