https://gitlab.com/nomadic-labs/mi-cho-coq
Raw File
Tip revision: ac14acd0fe509eddfda24ffa752897b2bb33ac68 authored by Raphaƫl Cauderlier on 28 November 2019, 10:00:56 UTC
Add the IF_RIGHT macro at the typed syntax level
Tip revision: ac14acd
_CoqProject
-R michocoq/ Michocoq
-R michocott/ Michocott
michocoq
contracts_coq
michocott
back to top