JEFL: Joint Embedding of Formal Proof Libraries

Qingxiang Wang, Cezary Kaliszyk. JEFL: Joint Embedding of Formal Proof Libraries. In Boris Konev, Giles Reger, editors, Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings. Volume 12941 of Lecture Notes in Computer Science, pages 154-170, Springer, 2021. [doi]

Authors

Qingxiang Wang

This author has not been identified. Look up 'Qingxiang Wang' in Google

Cezary Kaliszyk

This author has not been identified. Look up 'Cezary Kaliszyk' in Google