Sharing Geometry Proofs Across Logics and Systems

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.352.11 ◽

2021 ◽

Vol 352 ◽

pp. 106-106

Author(s):

Gilles Dowek

Download Full-text