MetaCoq

icon indicating a website link https://github.com/MetaRocq

icon location The MetaCoq project has been renamed to MetaRocq, see github.com/MetaRocq

Results 0 comments of MetaCoq