%0 Conference Paper %1 journals/corr/abs-2107-07670 %A Sozeau, Matthieu %B LFMTP %D 2021 %E Pimentel, Elaine %E Tassi, Enrico %K dblp %P 13-29 %T Touring the MetaCoq Project (Invited Paper). %U http://dblp.uni-trier.de/db/series/eptcs/eptcs337.html#abs-2107-07670 %V 337

@inproceedings{journals/corr/abs-2107-07670, added-at = {2021-11-29T00:00:00.000+0100}, author = {Sozeau, Matthieu}, biburl = {https://www.bibsonomy.org/bibtex/2279087d7980e7d5c5be70b8bc84cf715/dblp}, booktitle = {LFMTP}, crossref = {journals/corr/abs-2107-07376}, editor = {Pimentel, Elaine and Tassi, Enrico}, ee = {https://arxiv.org/abs/2107.07670}, interhash = {d3c767a36acdbf7a81008a64c22d4285}, intrahash = {279087d7980e7d5c5be70b8bc84cf715}, keywords = {dblp}, pages = {13-29}, series = {EPTCS}, timestamp = {2024-04-09T09:30:27.000+0200}, title = {Touring the MetaCoq Project (Invited Paper).}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs337.html#abs-2107-07670}, volume = 337, year = 2021 }