%0 Conference Paper %1 conf/frocos/WangK21 %A Wang, Qingxiang %A Kaliszyk, Cezary %B FroCoS %D 2021 %E Konev, Boris %E Reger, Giles %I Springer %K dblp %P 154-170 %T JEFL: Joint Embedding of Formal Proof Libraries. %U http://dblp.uni-trier.de/db/conf/frocos/frocos2021.html#WangK21 %V 12941 %@ 978-3-030-86205-3

@inproceedings{conf/frocos/WangK21, added-at = {2022-03-16T00:00:00.000+0100}, author = {Wang, Qingxiang and Kaliszyk, Cezary}, biburl = {https://www.bibsonomy.org/bibtex/2c2979f1656f1bfaae17efbff2415ed83/dblp}, booktitle = {FroCoS}, crossref = {conf/frocos/2021}, editor = {Konev, Boris and Reger, Giles}, ee = {https://www.wikidata.org/entity/Q108482099}, interhash = {eeb54549804289000c3744c400f9c148}, intrahash = {c2979f1656f1bfaae17efbff2415ed83}, isbn = {978-3-030-86205-3}, keywords = {dblp}, pages = {154-170}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:39:37.000+0200}, title = {JEFL: Joint Embedding of Formal Proof Libraries.}, url = {http://dblp.uni-trier.de/db/conf/frocos/frocos2021.html#WangK21}, volume = 12941, year = 2021 }