Introducing Euclidean Relations to Mizar

Proceedings of the 2017 Federated Conference on Computer Science and Information Systems ◽

10.15439/2017f368 ◽

2017 ◽

Cited By ~ 2

Author(s):

Adam Naumowicz ◽

Artur Kornilowicz